Get Free Shipping on orders over $79
Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings - Marcello M. Bonsangue
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Formal Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

By: Marcello M. Bonsangue (Editor), Einar Broch Johnsen (Editor)

Paperback | 25 May 2007

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 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.

The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

More in Programming & Scripting Languages

The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$77.75

27%
OFF
Python Automation For Dummies : For Dummies (Computer/Tech) - Alan Simpson
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$55.75

26%
OFF
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
The Practical Guide - Kerem Koseoglu

$99.99

Coding For Dummies, All New Edition : For Dummies (Computer/Tech) - Paul McFedries
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
PHP, MySQL, & JavaScript All-In-One For Dummies : For Dummies - Richard Blum
C++ Programming Language, The - Bjarne Stroustrup

RRP $117.91

$102.99

13%
OFF
Programming Rust : Fast, Safe Systems Development 2nd Edition - Jason Orendorff