Functional Programming Languages and Computer Architecture
Jean-Pierre Jouannaud
₹5,584
Certified Programs and Proofs
First International Conference
by Jean-Pierre Jouannaud, Zhong Shao
Springer · 2011
₹5,583
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
Certified Programs and Proofs: First International Conference by Jean-Pierre Jouannaud & Zhong Shao is a book published by Springer in 2011.
The book deals with Mathematical Logic and Formal Languages, Software engineering, Algebra and Symbolic and Algebraic Manipulation.
Book details
- ISBN-13
- 9783642253782
- ISBN-10
- 3642253784
- Authors
- Jean-Pierre Jouannaud, Zhong Shao
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Jean-Pierre Jouannaud and related titles
Rewriting Techniques and Applications
Jean-Pierre Jouannaud
₹4,528
Constraints in Computational Logics
Jean-Pierre Jouannaud
₹5,569
Formal Methods at the Crossroads
Bernhard K. Aichernig
₹4,256
Petrinetze
Wolfgang Reisig
₹3,508
Zeitverhalten Synchroner Schaltwerke
Hans-Otto Leilich, Uwe Knaak
₹3,508
Reliable Software Technologies – Ada-Europe 2014
Laurent George, Tullio Vardanega
₹4,077
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Automated Technology for Verification and Analysis
Ahmed Bouajjani, Wei-Ngan Chin
₹5,593
Descriptional Complexity of Formal Systems
Markus Holzer, Martin Kutrib, Giovanni Pighizzini
₹5,822
Component-Based Software Engineering
Ivica Crnkovic, Judith A. Stafford, Heinz W. Schmidt
₹5,551
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281