Formal Methods for Components and Objects
Susanne Graf
₹3,388
Model Checking Software
11th International SPIN Workshop
by Susanne Graf, Laurent Mounier
Springer-Verlag New York Inc · 2004
₹5,551
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-Verlag New York Inc in 2004, Model Checking Software: 11th International SPIN Workshop by Susanne Graf & Laurent Mounier runs to 307 pages. The book is part of the Lecture notes in computer science series.
Topics covered include Computer software, Congresses, SPIN (Computer file) and Verification.
Book details
- ISBN-13
- 9783540213147
- ISBN-10
- 3540213147
- Authors
- Susanne Graf, Laurent Mounier
- Publisher
- Springer-Verlag New York Inc
- Published
- 2004
- Series
- Lecture notes in computer science
- Edition
- 2004th
- Pages
- 307
- Language
- English
- Condition
- New
- Subject
- Computer simulation
More by Susanne Graf and related titles
Tools and Algorithms for the Construction and Analysis of Systems
Susanne Graf, Michael Schwartzbach
₹5,225
PEM Fuel Cell Modeling and Simulation Using Matlab
Colleen Spiegel
₹8,337
Dynamik Sozialer Praktiken
Solveig Hofmann
₹4,998
The Garden in the Machine – the Emerging Science of Artificial Life
Claus Emmeche
₹2,496
Model Construction with GPSS-Fortran Version 3
Bernd Schmidt
₹7,729
Computer Games as Educational and Management Tools
Maria Manuela Cruz-Cunha, Vitor Hugo Varvalho, Paula Tavares
₹4,354
Computational Vision – Information Processing in Perception & Visual Behavior
Hanspeter A. Mallot, Tomaso A. Poggio, Terrence J. Sejnowski
₹1,684
Qualitative Simulation Modeling and Analysis
Paul A. Fishwick, Paul A. Luker
₹4,347
Qualitative Reasoning
Hannes Werthner
₹7,730
Guide to Distributed Simulation with HLA
Halit Oguztuzun, Okan Topcu
₹6,983
Applied Probability 2ed (hb 2010)
Kenneth Lange
₹6,408