Get Free Shipping on orders over $79
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings - Roberto Gorrieri
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Formal Methods for Open Object-Based Distributed Systems

8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings

By: Roberto Gorrieri (Editor), Heike Wehrheim (Editor)

Paperback | 9 June 2006

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.

More in Computer Networking & Communications

Grey Area : Dark Web Data Collection and the Future of OSINT - Vinny Troia
Crypto Engine Design : Cyber Shorts - Wen-Long Chin
Crypto Engine Design : Cyber Shorts - Wen-Long Chin
Essentials of Computer Networking - Paxton Byrne
Cybersecurity All-in-One For Dummies : For Dummies - Joseph Steinberg
Linux All-In-One For Dummies : For Dummies (Computer/Tech) - Richard Blum
Computer Networking, Global Edition : 8th edition - James Kurose

RRP $186.38

$142.75

23%
OFF
The Site Reliability Workbook : Practical ways to implement SRE - Betsy Beyer
TCP/IP Illustrated : The Protocols, Volume 1 - Kevin Fall

RRP $112.30

$85.99

23%
OFF
Crafting an Information Security Playbook - Brandon Enright

RRP $95.00

$43.75

54%
OFF
Business Data Communications and Networking : 14th Edition - Jerry FitzGerald