Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
EUR 39,49
Währung umrechnenAnzahl: 5 verfügbar
In den WarenkorbZustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Anbieter: Basi6 International, Irving, TX, USA
EUR 39,49
Währung umrechnenAnzahl: 13 verfügbar
In den WarenkorbZustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
EUR 40,76
Währung umrechnenAnzahl: 5 verfügbar
In den WarenkorbZustand: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 48,10
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 392.
EUR 45,88
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 392.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 43,69
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 392 65 Illus.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 59,54
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Verlag: Mit Press, 2014
Sprache: Englisch
Anbieter: Books in my Basket, New Delhi, Indien
EUR 50,37
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: New. ISBN:9780262027717.
EUR 65,31
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
EUR 70,59
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
EUR 67,09
Währung umrechnenAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
Anbieter: UK BOOKS STORE, London, LONDO, Vereinigtes Königreich
EUR 82,42
Währung umrechnenAnzahl: 5 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 90,16
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 392 pages. 10.00x8.00x0.98 inches. In Stock.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 75,03
Währung umrechnenAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
Anbieter: College Campus, North Fort Myers, FL, USA
EUR 55,03
Währung umrechnenAnzahl: 3 verfügbar
In den WarenkorbZustand: Good. Used Item. Does not include New Access Codes , Cd's or one time use items that come when New. This item is Used.
Anbieter: moluna, Greven, Deutschland
EUR 54,37
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jan Friso Groote is Professor of Computer Science at the Eindhoven University of Technology, the Netherlands.Mohammad Reza Mousavi is Professor of Computer Systems Engineering at the Center for Research on Embedded Systems at Halmstad University, Sweden.
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 62,57
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: PBShop.store US, Wood Dale, IL, USA
EUR 67,70
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
EUR 67,39
Währung umrechnenAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Rigorous theory and real-world applications for modeling and analysis of the behavior of complex communicating computer systems.Complex communicating computer systemscomputers connected by data networks and in constant communication with their environmentsdo not always behave as expected. This book introduces behavioral modeling, a rigorous approach to behavioral specification and verification of concurrent and distributed systems. It is among the very few techniques capable of modeling systems interaction at a level of abstraction sufficient for the interaction to be understood and analyzed. Offering both a mathematically grounded theory and real-world applications, the book is suitable for classroom use and as a reference for system architects.The book covers the foundation of behavioral modeling using process algebra, transition systems, abstract data types, and modal logics. Exercises and examples augment the theoretical discussion. The book introduces a modeling language, mCRL2, that enables concise descriptions of even the most intricate distributed algorithms and protocols. Using behavioral axioms and such proof methods as confluence, cones, and foci, readers will learn how to prove such algorithms equal to their specifications. Specifications in mCRL2 can be simulated, visualized, or verified against their requirements. An extensive mCRL2 toolset for mechanically verifying the requirements is freely available online; this toolset has been successfully used to design and analyze industrial software that ranges from healthcare applications to particle accelerators at CERN. Appendixes offer material on equations and notation as well as exercise solutions.
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
EUR 97,64
Währung umrechnenAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 369.