Book PDf: Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Download Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

Author: David Kitchin, Adrian Quark, William Cook, Jayadev Misra (auth.), David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (eds.)

ISBN: 9783642021374

Publisher: Springer-Verlag Berlin Heidelberg

Year: 2009

Publisher Edition (Original Quality)

Save

User Rating: (0.0):

File Size

2.03 MB

Pages

259.0

Price: 6.99€

Description

Introduction to the book Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings The book Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings through the Cyber Uni website.

Best Selling Books
Information, Randomness and...
Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (Series...
Author:

Gregory J. Chaitin

Year:

1990

How to Build...
How to Build a Working Digital Computer
Author:

Edward Alcosser, etc.

Year:

1973

Category Theory and...
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987...
Author:

G. Rosolini (auth.),...

Year:

1987