Items related to Formal Techniques for Distributed Systems: Joint 11th...
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... (Lecture Notes in Computer Science, 5522) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009.
The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2009
- ISBN 10 3642021379
- ISBN 13 9783642021374
- BindingPaperback
- LanguageEnglish
- Number of pages261
- EditorLee David, Lopes Antonia, Poetzsch-Heffter Arnd
Search results for Formal Techniques for Distributed Systems: Joint 11th...
Seller Image
Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Band 5522
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 248 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 415. Seller Inventory # 2143640
Quantity: 1 available
Stock Image
Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference ... (Lecture Notes in Computer Science, 5522)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642021374_new
Quantity: Over 20 available
Seller Image
Formal Techniques for Distributed Systems
Published by
Springer Berlin Heidelberg Mai 2009, 2009
ISBN 10: 3642021379
ISBN 13: 9783642021374
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems. 264 pp. Englisch. Seller Inventory # 9783642021374
Quantity: 2 available
Seller Image
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
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642021379
ISBN 13: 9783642021374
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems. Seller Inventory # 9783642021374
Quantity: 1 available
Seller Image
Formal Techniques for Distributed Systems
Published by
Springer Berlin Heidelberg, 2009
ISBN 10: 3642021379
ISBN 13: 9783642021374
New
Kartoniert / Broschiert
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Kartoniert / Broschiert. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 20. Seller Inventory # 5043594
Quantity: Over 20 available
Stock Image
Formal Techniques for Distributed Systems: Joint 11th Ifip Wg 6.1 International Conference Fmoods 2009 and 29th Ifip Wg 6.1 International Conference F
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783642021374
Quantity: 10 available
Stock Image
Formal Techniques for Distributed Systems
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 264 Illus. Seller Inventory # 5353895
Quantity: 4 available
Stock Image
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, 200
Published by
Springer-Verlag New York Inc, 2009
ISBN 10: 3642021379
ISBN 13: 9783642021374
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2009 edition. 249 pages. 9.50x6.25x0.50 inches. In Stock. Seller Inventory # x-3642021379
Quantity: 2 available
Stock Image
Formal Techniques for Distributed Systems
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 264. Seller Inventory # 262494072
Quantity: 4 available
Seller Image
Formal Techniques for Distributed Systems
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 2009, 2009
ISBN 10: 3642021379
ISBN 13: 9783642021374
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the refereed proceedings of the 11th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009, and 29th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2009, held in Lisboa, Portugal, in June 2009. The 12 revised full papers presented together with 6 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as formal verification, algorithms and implementations, modeling and testing, process algebra and calculus as well as analysis of distributed systems.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 264 pp. Englisch. Seller Inventory # 9783642021374
Quantity: 2 available