Get Free Shipping on orders over $79
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


$131.75

or 4 interest-free payments of $32.94 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

MacBook Neo For Dummies - Mark L. Chambers

RRP $41.95

$33.75

20%
OFF
Cisco Networking All-in-One For Dummies - Edward Tetz

RRP $82.95

$60.75

27%
OFF
Steve Jobs : The Exclusive Biography - Walter Isaacson

RRP $24.99

$21.75

13%
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
iPad and iPad Pro For Dummies - Paul McFedries

RRP $52.95

$40.75

23%
OFF
Microsoft Planner For Dummies - Jim Boyce

RRP $49.95

$38.75

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

RRP $90.95

$65.75

28%
OFF
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
Applied Embedded Electronics : Design Essentials for Robust Systems - Jerry Twomey
Microsoft Project For Dummies : For Dummies (Computer/Tech) - Cynthia Snyder Dionisio
The Repair Manual : Ford Falcon/Fairlane EF EL 1994-98 - Max Ellery
Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
MacBook For Dummies : Macbook for Dummies - Mark L. Chambers

RRP $49.95

$38.75

22%
OFF
Learning Git : A Hands-On and Visual Guide to the Basics of Git - Anna Skoulikari
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
iMac For Dummies : 11th edition - Mark L. Chambers

RRP $52.95

$39.75

25%
OFF