Nasa Formal Methods
Guillaume Brat
₹4,270
Logics of Programs
Brooklyn, June 17-19, 1985
by Rohit Parikh
Springer · 1985 · Paperback
₹5,591
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
Logics of Programs: Brooklyn, June 17-19, 1985 is written by Rohit Parikh. This paperback edition from Springer (1985) has 436 pages.
Its main subjects are Computer Science, Logic Design, Questions & Answers and Logic.
Book details
- ISBN-13
- 9783540156482
- ISBN-10
- 3540156488
- Author
- Rohit Parikh
- Publisher
- Springer
- Published
- 1985
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 436
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Machines, Computations, and Universality
Maurice Margenstern
₹5,662
Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Foundations of Software Technology and Theoretical Computer Science
S. N. Maheshwari
₹5,642
Spice
Ernst E. E. Hoefer, Horst Nielinger
₹3,508
Substrate Noise Coupling in Mixed-Signal Asics
Stéphane Donnay, Georges Gielen
₹4,010
Embedded Software
Thomas A. Henzinger, Christoph M. Kirsch
₹5,679
Evaluation of Novel Approaches to Software Engineering
Leszek Maciaszek, César González-Pérez, Stefan Jablonski
₹5,551
Lisp, Lore, and Logic
W. Richard Stark
₹6,981
Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549