Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
₹4,240
Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference
by Dirk Beyer, Michele Boreale
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2013
₹2,244
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference is written by Dirk Beyer & Michele Boreale. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2013) has 321 pages.
Its main subjects are Software engineering, Computer science, Logic design and Logics and Meanings of Programs.
Book details
- ISBN-13
- 9783642385919
- ISBN-10
- 3642385915
- Authors
- Dirk Beyer, Michele Boreale
- Published
- 2013
- Edition
- 2013 ed.
- Pages
- 321
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Dirk Beyer and related titles
Rewriting Techniques and Applications
Andrei Voronkov
₹5,690
Stacs 93
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
₹4,216
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,242
Logic for Programming, Artificial Intelligence, and Reasoning
Christian G. Fermüller, Andrei Voronkov
₹4,854
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963
Quality of Software Architectures Models and Architectures
Hutchison, David - undifferentiated
₹4,263
Tests and Proofs
Martina Seidl, Nikolai Tillmann
₹3,787
Duration Calculus
Michael R. Hansen, Chaochen Zhou
₹8,292
Trends in Functional Programming
Rex Page, Zoltan Horvath, Viktoria Zsók
₹5,705
Latin '95
Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete
₹5,647