There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list

Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy

By Paolo Ciancarini (Editor), Alessandro Fantechi (Editor), Roberto Gorrieri (Editor)
Paperback
$219.99
By Paolo Ciancarini (Editor), Alessandro Fantechi (Editor), Roberto Gorrieri (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Formal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject.
Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distri...

Categories

Science & TechnologyComputersEngineeringElectrical & Electronic EngineeringComputers - General & MiscellaneousComputer ProgrammingSoftware EngineeringComputer Architecture/EngineeringParallel, Distributed, and SupercomputingObject-Oriented Programming