System Development
Michael Bronzite
₹2,673
Forms/format 2010
Formal Methods for Automation and Safety in Railway and Automotive
by Schnieder E.
SPRINGER · 2011
₹4,848
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
Forms/format 2010: Formal Methods for Automation and Safety in Railway and Automotive is written by Schnieder E.. This edition from SPRINGER (2011) has 257 pages.
The book deals with Safety measures, Transportation, Data processing and Congresses.
Book details
- ISBN-13
- 9783642142604
- ISBN-10
- 3642142605
- Author
- Schnieder E.
- Publisher
- SPRINGER
- Published
- 2011
- Edition
- 2011 ed.
- Pages
- 257
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Conceptual Modeling of Information Systems
Antoni Olivé
₹2,605
Modeling of Dynamic Object Systems
Ralf Jungclaus
₹3,508
A Primer in Petri Net Design
Wolfgang Reisig
₹3,893
Oracle Essbase 9 Implementation Guide
Joseph Sydney Gomez, Sarma Anantapantula
₹4,104
Formal Methods for Components and Objects
Susanne Graf
₹3,388
Similarity and Modeling in Science and Engineering
Josef Kuneš
₹5,767
Intelligent Robotic Systems
Spyros G. Tzafestas
₹5,084
Artificial Intelligence and Learning Environments
William J. Clancey, E. Soloway
₹1,635
Practical File System Design with the Be File System
Dominic Giampaolo
₹39,838
User-Centred Design of Systems
Chris Baber, Jan Noyes
₹2,664
Circuit Design with VHDL
Volnei A. Pedroni
₹3,806