Model-Based Safety and Assessment
Frank Ortmeier, Antoine Rauzy
₹3,438
Models in Software Engineering
Workshops and Symposia at MODELS 2010
by Juergen Dingel, Arnor Solberg
Springer · 2011
₹5,609
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
Models in Software Engineering: Workshops and Symposia at MODELS 2010 is written by Juergen Dingel & Arnor Solberg. This edition from Springer (2011).
Its main subjects are Logic design, Computer simulation, Information Systems and Computer science.
Book details
- ISBN-13
- 9783642212093
- ISBN-10
- 3642212093
- Authors
- Juergen Dingel, Arnor Solberg
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Fst Tcs 2002
Manindra Agrawal, Anil Seth
₹5,569
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
₹5,520
Tests and Proofs
Martina Seidl, Nikolai Tillmann
₹3,787
Abstraction, Reformulation, and Approximation
SARA 2007 (2007 Whistler, B.C.)
₹4,277
Programming Languages and Systems - ESOP '94
Donald Sannella
₹5,642
Digital Systems Design and Prototyping
Zoran Salcic, Asim Smailagic
₹5,376
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Category Theory and Computer Science
David H. Pitt, Axel Poigne, David E. Rydeheard
₹5,528
Functional and Constraint Logic Programming
Santiago Escobar
₹5,537
Architecture and Design of Molecule Logic Gates and Atom Circuits
Nicolas Lorente
₹11,589
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
₹1,900