Items related to Formal Techniques for Distributed Objects, Components,...
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Programming and Software Engineering) - Softcover
Synopsis
This book constitutes the proceedings of the 36th IFIP WG 6.1
International Conference on Formal Techniques for Distributed Objects,
Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June
2016, as part of the 11th International Federated Conference on
Distributed Computing Techniques, DisCoTec 2016.
The 18 revised full papers presented were carefully reviewed and
selected from 44 submissions. The papers present a wide range of topics
on distributed computing models and formal specification, testing, and
verification methods.
"synopsis" may belong to another edition of this title.
Search results for Formal Techniques for Distributed Objects, Components,...
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 2016. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2016. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-576-296
Quantity: 1 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems : 36th Ifip Wg 6.1 International Conference, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 26336340-n
Quantity: Over 20 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Programming and Software Engineering)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020096946
Quantity: Over 20 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319395692_new
Quantity: Over 20 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th I
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783319395692
Quantity: 10 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems : 36th Ifip Wg 6.1 International Conference, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 26336340-n
Quantity: Over 20 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer International Publishing Jun 2016, 2016
ISBN 10: 3319395696
ISBN 13: 9783319395692
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 proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods. 292 pp. Englisch. Seller Inventory # 9783319395692
Quantity: 2 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Published by
Springer International Publishing, 2016
ISBN 10: 3319395696
ISBN 13: 9783319395692
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 proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods. Seller Inventory # 9783319395692
Quantity: 1 available
Stock Image
Formal Techniques for Distributed Objects, Components, and Systems: 36th Ifip Wg 6.1 International Conference, Proceedings
Published by
Springer-Verlag New York Inc, 2016
ISBN 10: 3319395696
ISBN 13: 9783319395692
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 292 pages. 9.25x6.10x0.66 inches. In Stock. Seller Inventory # x-3319395696
Quantity: 2 available
Seller Image
Formal Techniques for Distributed Objects, Components, and Systems
Published by
Springer International Publishing, 2016
ISBN 10: 3319395696
ISBN 13: 9783319395692
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as p. Seller Inventory # 120417965
Quantity: Over 20 available