Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen
₹5,527
Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop
by Ed Brinksma
Springer · 1997 · Paperback
₹5,598
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 1997, Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop by Ed Brinksma runs to 433 pages in paperback.
The book deals with Systems analysis & design, Utilities & tools, System design and Logic Design.
Book details
- ISBN-13
- 9783540627906
- ISBN-10
- 3540627901
- Author
- Ed Brinksma
- Publisher
- Springer
- Published
- 1997
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 433
- Language
- English
- Condition
- New
- Subject
- System design
More by Ed Brinksma and related titles
Computer Aided Verification
Ed Brinksma, Kim G. Larsen
₹4,400
Intelligent Robotic Systems
Spyros G. Tzafestas
₹5,084
Advanced Information Processing
I. A. Mizin
₹7,730
Implementing Domain-Driven Design
Vaughn Vernon
₹4,869
Software & Systems Requirements Engineering
Daniel J. Paulish, Brian Berenbach, Juergen Kazmeier, Arnold Rudorfer
₹4,098
Tools and Algorithms for the Construction of Analysis of Systems
W. Rance Cleaveland
₹5,606
Advanced Principles for Improving Database Design, Systems Modeling, and Software Development
Keng Siau, John Erickson
₹5,185
System Design with Systemc
Thorsten Grötker
₹4,536
Universal Access in Health Telematics
Constantine Stephanidis
₹5,539
Formal Methods
Paul Boca, J. P. Bowen, J. I. Siddiqi
₹7,770
Use Case Modeling
Kurt Bittner, Kristin Erickson, Ian Spence
₹3,269