Statistical Mechanics of Learning
A. Engel, C. Van den Broeck
₹5,055
Integrated Formal Methods
Second International Conference
by Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Springer · 2000 · Paperback
₹5,756
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
Integrated Formal Methods: Second International Conference by Wolfgang Grieskamp, Thomas Santen & others is a 441-page paperback edition published by Springer in 2000.
The book deals with Formal methods (Computer science), Congresses, Computer science and Software engineering.
Book details
- ISBN-13
- 9783540411963
- ISBN-10
- 3540411968
- Authors
- Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
- Publisher
- Springer
- Published
- 2000
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 441
- Language
- English
- Condition
- New
More in Mathematical theory of computation
Metamathematics, Machines and Gödel's Proof by Natarajan Shankar
Natarajan Shankar, N. Shankar, C. J. Van Rijsbergen
₹5,568
Integrated Formal Methods
Eerke Boiten, John Derrick, Graeme Smith
₹5,653
Mathematical Foundations of Computer Science 1992
Ivan M. Havel, Vaclav Koubek
₹5,644
Combinatorial Pattern Matching
Martin Farach-Colton
₹5,506
Algebraic Methodology and Software Technology
Teodor Rus
₹4,122
Concur '92
Walter R. Cleaveland
₹5,211
Algorithms - ESA '97
Rainer Burkard, Gerhard Woeginger
₹5,642
Computational Geometry - Methods, Algorithms and Applications
Hanspeter Bieri, Hartmut Noltemeier
₹5,606
Theorem Proving in Higher Order Logics
Richard J. Boulton, Paul B. Jackson
₹5,718
Relational Methods in Computer Science
International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont.)
₹4,342
Algorithmic Learning for Knowledge-Based Systems
Klaus P. Jantke, Steffen Lange
₹5,639