Refinement
Eerke Boiten, John Derrick
₹4,240
Integrated Formal Methods
4th International Conference
by Eerke Boiten, John Derrick, Graeme Smith
Springer · 2004 · Paperback
₹5,653
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
Published by Springer in 2004, Integrated Formal Methods: 4th International Conference by Eerke Boiten, John Derrick & others runs to 541 pages in paperback.
Topics covered include Formal methods (Computer science), Congresses, Logic design and Computer science.
Book details
- ISBN-13
- 9783540213772
- ISBN-10
- 3540213775
- Authors
- Eerke Boiten, John Derrick, Graeme Smith
- Publisher
- Springer
- Published
- 2004
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 541
- Language
- English
- Condition
- New
More by Eerke Boiten and related titles
Graph-Theoretic Concepts in Computer Science
Gunther Schmidt, Rudolf Berghammer
₹5,508
ISA '91 Algorithms
Wen-Lian Hsu, R. C. T. Lee
₹5,581
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
Harold F. Mattson, Teo Mora, T. R. N. Rao
₹5,628
Programming Languages
S. Doaitse Swierstra
₹3,165
High Performance Computing
Constantine Polychronopoulos, Kazuki Joe, Akira Fukuda
₹5,586
Computational Geometry - Methods, Algorithms and Applications
Hanspeter Bieri, Hartmut Noltemeier
₹5,606
Algebra of Communicating Processes
First Workshop on the Algebra of Communi
₹4,239
Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson
₹5,718
Fundamentals of Computation Theory
Lothar Budach
₹5,596
Monte Carlo Methods for Applied Scientists
Ivan T. Dimov
₹6,719
Concur '92
Walter R. Cleaveland
₹5,211