Tapsoft '93
Marie-Claude Gaudel, Jean-Pierre Jouannaud
₹5,224
Fme '96
Third International Symposium of Formal Methods Europe co-sponsored
by Marie-Claude Gaudel, James Woodcock
Springer · 1996 · Paperback
₹4,044
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 '96: Third International Symposium of Formal Methods Europe co-sponsored by Marie-Claude Gaudel & James Woodcock is a 704-page paperback edition published by Springer in 1996. The book is part of the Lecture notes in computer science series.
The book deals with Development, Congresses and Computer software.
Book details
- ISBN-13
- 9783540609735
- ISBN-10
- 3540609733
- Authors
- Marie-Claude Gaudel, James Woodcock
- Publisher
- Springer
- Published
- 1996
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 704
- Language
- English
- Condition
- New
- Subject
- Computer software
More by Marie-Claude Gaudel and related titles
Tests and Proofs
Achim Brucker, Jacques Julliand
₹5,696
Software Sizing, Estimation, and Risk Management
Daniel D. Galorath
₹4,595
Introduction to Pattern-Driven Software Problem Solving
Dmitry Vostokov, Software Diagnostics Services
₹1,201
Practical Software Metrics for Project Management and Process Improvement
Robert B. Grady
₹2,638
Towards a Service-based Internet
ServiceWave 2008 (2008 Madrid, Spain)
₹4,236
High Performance Computing Demystified
David Loshin
₹2,393
Software Architecture Fundamentals
Mahbouba Gharbi
₹3,822
Integration of Reusable Systems
Thouraya Bouabana-Tebibel, Stuart H. Rubin
₹7,764
Exploratory Software Testing
James A. Whittaker
₹2,605
Silent Hill 2
Mike Drucker
₹3,346
Software Abstractions
Daniel Jackson
₹3,493