Free Shipping Over $89 - Limited Time Only - T&C's Apply
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $89
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 - Elvira Albert

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

By: Elvira Albert (Editor), Ivan Lanese (Editor)

Paperback | 27 June 2016

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 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.

You Can Find This Book In

Non-FictionComputing & I.T.Computer Programming & Software DevelopmentSoftware EngineeringDatabasesInformation RetrievalComputer HardwareNetwork HardwareComputer ScienceHuman-Computer InteractionUser Interface Design & UsabilityMathematical Theory of Computation
MathematicsMathematical FoundationMathematical LogicBusiness Applications

More in Network Hardware

This product is categorised by