Formal Techniques for Distributed Systems
Dirk Beyer, Michele Boreale
₹2,244
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS
by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
Springer Nature Switzerland AG · 2019 · Paperback
₹4,240
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
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS is written by Dirk Beyer, Marieke Huisman & others. This paperback edition from Springer Nature Switzerland AG (2019) has 258 pages.
Book details
- ISBN-13
- 9783030175016
- ISBN-10
- 3030175014
- Authors
- Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
- Publisher
- Springer Nature Switzerland AG
- Published
- 2019
- Edition
- 1st ed. 2019
- Binding
- Paperback
- Pages
- 258
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Dirk Beyer and related titles
Parallele Digitale Optische Recheneinheiten
Dietmar Fey
₹3,249
Linear Algebra and Learning from Data
Gilbert Strang
₹4,648
Consent of the Networked
Rebecca MacKinnon
₹3,448
Co-Pilot
Benno Baumgartner, Till Bay, Matthias Huni
₹4,567
Computer Science
Alexander S. Kulikov, Gerhard J. Woeginger
₹4,238
1 Corinthians
Paul D. Gardner
₹4,052
Computer Aided Verification
Rupak Majumdar, Viktor Kunčak
₹4,300
Excel Data Analysis for Dummies
Stephen L. Nelson, E. C. Nelson
₹3,458
Sexuality in Role-Playing Games
Ashley Ml Brown
₹15,479
iSpeak Chinese Phrasebook (MP3 CD + Guide)
Alex Chapin
₹6,203
Ethnobotany and Biocultural Diversities in the Balkans
Andrea Pieroni, Cassandra L. Quave
₹11,591