Sofsem 2017
Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria
₹3,936
Tools and Algorithms for the Construction and Analysis of Systems
4th International Conference
Springer · 1998 · Paperback
₹5,617
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 1998, Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference by Bernhard Steffen runs to 457 pages in paperback. The book is part of the Lecture notes in computer science series.
Topics covered include Development, Congresses, System design and Computer software.
Book details
- ISBN-13
- 9783540643562
- ISBN-10
- 3540643567
- Author
- Bernhard Steffen
- Publisher
- Springer
- Published
- 1998
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 457
- Language
- English
- Condition
- New
- Subject
- System design
More by Bernhard Steffen and related titles
Computing and Software Science
Bernhard Steffen, Gerhard Woeginger
₹1,972
Wissenschaftstheorie Und Gestaltungsorientierte Wirtschaftsinformatik
Jörg Becker, Helmut Krcmar, Björn Niehaves
₹4,146
Tools and Algorithms for the Construction and Analysis of Systems
Susanne Graf, Michael Schwartzbach
₹5,225
Component Development for the Java™ Platform
Stuart Dabbs Halloway
₹2,662
Handbook of Dynamic System Modeling
Paul A. Fishwick
₹4,951
Systems Analysis & Design
Harry Rosenblatt, Scott Tilley
₹4,632
NASA Formal Methods
Alwyn Goodloe, Suzette Person
₹5,613
Formal Methods and Stochastic Models for Performance Evaluation
EPEW 2007 (2007 Berlin, Germany)
₹4,236
Challenges for Action Theories
Michael Thielscher
₹5,451
Dsdm
DSDM Consortium, Jennifer Stapleton
₹2,652
Global UX
Daniel Szuc, Whitney Quesenbery
₹2,833