Get Free Shipping on orders over $89
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 - Paolo Ciancarini

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 | 24 January 2013

At a Glance

Paperback


$128.99

or 4 interest-free payments of $32.25 with

 or 

Ships in 10 to 15 business days

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 distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods.
This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999.
Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.

More in Computer Hardware

Cisco Networking All-in-One For Dummies - Edward Tetz

RRP $82.95

$60.75

27%
OFF
Woodworking : The Complete Step-by-Step Manual - DK

RRP $55.00

$42.75

22%
OFF
Windows 11 For Dummies, 2nd Edition : Windows 11 For Dummies - Alan Simpson
Steve Jobs : The Exclusive Biography - Walter Isaacson

RRP $24.99

$21.75

13%
OFF
Microsoft Excel 365 Bible : Bible - Michael Alexander

RRP $90.95

$65.75

28%
OFF
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey

RRP $49.95

$36.75

26%
OFF
3D Printing For Dummies : For Dummies (Computer/Tech) - Richard Horne
Microsoft Project For Dummies : For Dummies (Computer/Tech) - Cynthia Snyder Dionisio
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
iPad and iPad Pro For Dummies - Paul McFedries

RRP $52.95

$40.75

23%
OFF
Microsoft Planner For Dummies - Jim Boyce

RRP $49.95

$45.75

Build Your Own PC Do-It-Yourself For Dummies : For Dummies (Computer/Tech) - Mark L. Chambers
Samsung Galaxy Tabs For Dummies : For Dummies (Computer/Tech) - Dan Gookin
iPad For Seniors For Dummies : iPad for Seniors For Dummies - Dwight Spivey
Linux Device Drivers : O'Reilly Software Ser. - Jonathan Corbet

RRP $104.75

$83.80

20%
OFF
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer