Formal Methods and Models for System Design
Rajesh Gupta, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla
₹12,319
NASA Formal Methods
4th International Symposium
by Alwyn Goodloe, Suzette Person
Springer · 2012
₹5,613
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
NASA Formal Methods: 4th International Symposium by Alwyn Goodloe & Suzette Person is a 466-page book published by Springer in 2012.
Topics covered include Fault-tolerant computing, System design, System analysis and Automatic control.
Book details
- ISBN-13
- 9783642288906
- ISBN-10
- 3642288901
- Authors
- Alwyn Goodloe, Suzette Person
- Publisher
- Springer
- Published
- 2012
- Pages
- 466
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Linear System Theory and Design
Chen
₹34,717
Correct System Design
Roland Meyer, André Platzer, Heike Wehrheim
₹3,785
Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi
₹5,395
Monitoring Continuous Phenomena
Peter Lorkowski
₹6,814
Practical Data Analysis - Second Edition
Sampath Kumar, Hector Cuesta
₹3,099
Information Modeling Methods and Methodologies
John Krogstie, Terry Halpin, Keng Siau
₹4,280
Visual Modeling with IBM Rational Software Architect and UML
Jim Palistrant, Terry Quatrani
₹4,096
Practical File System Design with the Be File System
Dominic Giampaolo
₹39,838
Advances in Cognitive Engineering and Neuroergonomics
Kay M. Stanney, Kelly S. Hale
₹4,377
Theory and Applications of Formal Argumentation
Elizabeth Black, Sanjay Modgil, Nir Oren
₹3,767
Software Engineering and Formal Methods
Steve Counsell, Manuel Núñez
₹4,284