Model Checking, second edition
Orna Grumberg, Daniel Kroening, Edmund M. Clarke, Doron Peled, Helmut Veith
₹4,198
Languages
From Formal to Natural
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009
₹4,245
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
Languages: From Formal to Natural by Orna Grumberg is a 245-page book published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009.
Topics covered include Logic design, Information theory, Symbolic and mathematical Logic and Computer science.
Book details
- ISBN-13
- 9783642017476
- ISBN-10
- 3642017479
- Author
- Orna Grumberg
- Published
- 2009
- Edition
- 2009 ed.
- Pages
- 245
- Language
- English
- Condition
- New
- Subject
- Information theory
More by Orna Grumberg and related titles
Recent Trends in Algebraic Development Techniques
Narciso Martí-Oliet
₹4,279
Algorithmic Principles of Mathematical Programming
Ulrich Faigle, W. Kern, G. Still
₹7,764
Emergent Information
Wolfgang Hofkirchner
₹4,790
Order and Disorder
David Z. Rich
₹5,723
Quantum Information Processing
Thomas Beth
₹3,676
Realizability
Jaap van Oosten
₹10,922
Advances in Algorithms, Languages, and Complexity
Ding-Zhu Du, Ker-I Ko
₹15,369
Konnektivität, Netzwerk Und Fluss
Andreas Hepp, Friedrich Krotz, Shaun Moores
₹2,415
Field-Coupled Nanocomputing
Neal G. Anderson, Sanjukta Bhanja
₹4,038
Elements of Information Theory
Thomas M. Cover, Joy A. Thomas
₹11,723
The Quadratic Assignment Problem
E. Cela
₹11,561