Formal Methods for Open Object-Based Distributed Systems Image close
Formal Methods for Open Object-Based Distributed Systems
Formal Methods for Open Object-Based Distributed Systems
Show Hide Adult Content
Formal Methods for Open Object-Based Distributed Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$163.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $40.75 with Afterpay Learn more

6 weekly interest-free payments of $27.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things
$149.00
Performance Evaluation and Benchmarking: Traditional to Big Data to...
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods
$151.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
End-User Development
$151.00
End-User Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$151.00
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Technology. ECOOP 2004 Workshop Reader
$149.00
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Paperback / softback
Available - Usually ships in 3-4 weeks
Agile Processes in Software Engineering and Extreme Programming
$150.00
Agile Processes in Software Engineering and Extreme Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$151.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$151.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$302.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$159.00
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$151.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering Approaches for Offshore and Outsourced Development
$149.00
Software Engineering Approaches for Offshore and Outsourced...
Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Graph Transformations with Industrial Relevance
$193.00
Applications of Graph Transformations with Industrial Relevance
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theorie, Tools, Experiments
$153.00
Verified Software: Theorie, Tools, Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Modelling Foundations and Applications
$150.00
Modelling Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.
Release date NZ
June 3rd, 2005
Audience
  • Professional & Vocational
Contributors
  • Edited by Gianluigi Zavattaro
  • Edited by Martin Steffen
Illustrations
x, 326 p.
Pages
326
Dimensions
156x234x18
ISBN-13
9783540261810
Product ID
2826571

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet
Books >
Computers & Internet >
Computer hardware >
Network hardware
Books >
Computers & Internet >
Operating systems
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation