Descriptional Complexity of Formal Systems
Markus Holzer, Martin Kutrib, Giovanni Pighizzini
₹5,822
Theoretische Informatik
Eine kompakte Einführung
Springer · 2003 · Paperback
₹2,155
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹1,961 for this book (save ₹194).
9% off every book, up to ₹500 off per order.
About this book
Theoretische Informatik: Eine kompakte Einführung is written by Klaus W. Wagner.
Its main subjects are Logic Design, Computer Science, Logic and Berechenbare Funktionen.
Book details
- ISBN-13
- 9783540013136
- ISBN-10
- 354001313X
- Author
- Klaus W. Wagner
- Publisher
- Springer
- Published
- 2003
- Edition
- 2., überarb. Aufl. edition
- Binding
- Paperback
- Pages
- 227
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
Fundamental Approaches to Software Engineering
David S. Rosenblum
₹5,774
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
Current Trends in Concurrency
Jacobus W. De Bakker, Willem-Paul de Roever, Grzegorz Rozenberg
₹4,955
Fme '94
Maurice Naftalin, Tim Denvir, Miquel Bertran
₹4,197
Formal Program Development
Bernhard Möller, Helmut Partsch, Steve Schuman
₹5,569
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,271
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference
Hartmut Ehrig, Christiane Floyd, Maurice Nivat
₹4,524