Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings - Programming and Software Engineering - Roberto Bruni - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642214608 - May 26, 2011
In case cover and title do not match, the title is correct

Roberto Bruni
Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings - Programming and Software Engineering 2011 edition

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Roberto Bruni releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events.

363 pages, 40 black & white illustrations, 16 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 26, 2011
ISBN13 9783642214608
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 349
Dimensions 155 × 235 × 20 mm   ·   544 g
Language French  
Editor Bruni, Roberto
Editor Dingel, Juergen

More by Roberto Bruni

Show all

More from the same publisher

See all of Roberto Bruni ( e.g. Paperback Book , Hardcover Book and Book )