Extensions of Logic Programming
Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister
₹5,564
Fme 2002
International Symposium of Formal Methods Europe
by Lars-Henrik Eriksson, Peter A. Lindsay
Springer · 2002 · Paperback
₹5,363
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
Fme 2002: International Symposium of Formal Methods Europe by Lars-Henrik Eriksson & Peter A. Lindsay is a 625-page paperback edition published by Springer in 2002.
Its main subjects are Development, Congresses, System design and Mathematics.
Book details
- ISBN-13
- 9783540439288
- ISBN-10
- 3540439285
- Authors
- Lars-Henrik Eriksson, Peter A. Lindsay
- Publisher
- Springer
- Published
- 2002
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 625
- Language
- English
- Condition
- New
- Subject
- System design
More by Lars-Henrik Eriksson and related titles
The Correctness-by-Construction Approach to Programming
Bruce W. Watson, Derrick G. Kourie
₹7,729
Monitoring Continuous Phenomena
Peter Lorkowski
₹6,814
NASA Formal Methods
Alwyn Goodloe, Suzette Person
₹5,613
System Design Through Matlab, Control Toolbox and Simulink
Krishna Singh, Gayatri Agnihotri
₹6,220
Computer Performance Engineering
Alessandro Aldini, Marco Bernardo, Luciano Bononi
₹5,508
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹5,480
Intelligent Robotic Systems
Spyros G. Tzafestas
₹5,084
Exploring Digital Design
Ina Wagner, Dagny Stuedahl, Tone Bratteteig
₹12,324
Sensing and Systems in Pervasive Computing
Dan Chalmers
₹2,807
High-Level System Modeling
Ron Waxman
₹11,565
NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
₹5,669