Formal Methods – Fun for Everybody
Antonio Cerone, Markus Roggenbach
₹4,226
Theoretical Aspects of Computing -- ICTAC 2011
8th International Colloquium
by Antonio Cerone, Pekka Pihlajasaari
Springer · 2011
₹4,532
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹4,124 — save ₹408 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Theoretical Aspects of Computing -- ICTAC 2011: 8th International Colloquium is written by Antonio Cerone & Pekka Pihlajasaari. This edition from Springer (2011).
The book deals with Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642232824
- ISBN-10
- 3642232825
- Authors
- Antonio Cerone, Pekka Pihlajasaari
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Antonio Cerone and related titles
Machines, Computations, and Universality
Maurice Margenstern
₹5,662
Pld Based Design with Vhdl
Vaibbhav Taraate
₹13,872
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Remote Usability Testing
Inge de Bleecker, Rebecca Okoroji
₹1,929
Algebraic Methodology and Software Technology
Armando M. Haeberer
₹5,649
Unifying Theories of Programming
Shengchao Qin
₹5,525
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
₹5,584
Formal Methods for Components and Objects
Frank S. de Boer
₹6,195
Z User Workshop, London 1992
Z User Meeting (7th 1992 London, England)
₹4,282
Logic Programming and Databases
Georg Gottlob, Letizia Tanca, Stefano Ceri
₹5,833
Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
