Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Computer Science Logic
18th International Workshop
Springer · 2004 · Paperback
₹5,825
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
Computer Science Logic: 18th International Workshop is written by Jerzy Marcinkowski. This paperback edition from Springer (2004) has 520 pages. It belongs to the Lecture notes in computer science series.
The book deals with Computer logic, Congresses, Open Source and Programming.
Book details
- ISBN-13
- 9783540230243
- ISBN-10
- 3540230246
- Author
- Jerzy Marcinkowski
- Publisher
- Springer
- Published
- 2004
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 520
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Compiler Generators
Mads Tofte
₹7,765
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Tests and Proofs
Martina Seidl, Nikolai Tillmann
₹3,787
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639
Modelling Foundations and Applications
Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler
₹5,603
Advanced Fpga Design
Steve Kilts
₹12,408
Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Formal Techniques for Distributed Systems
Dirk Beyer, Michele Boreale
₹2,244
Stacs 91
Christian Choffrut, Matthias Jantzen
₹4,526
Recent Advances in Constraints
Javier Larrosa, Barry O'Sullivan
₹5,465