Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
₹5,060
Correct System Design
Recent Insights and Advances
by Ernst-Rüdiger Olderog, Bernhard Steffen
Springer · 1999 · Paperback
₹5,568
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
Correct System Design: Recent Insights and Advances by Ernst-Rüdiger Olderog & Bernhard Steffen is a 417-page paperback edition published by Springer in 1999.
Topics covered include Computer systems, Reliability, System design and Linguagem de programacao (outras).
Book details
- ISBN-13
- 9783540666240
- ISBN-10
- 3540666249
- Authors
- Ernst-Rüdiger Olderog, Bernhard Steffen
- Publisher
- Springer
- Published
- 1999
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 417
- Language
- English
- Condition
- New
- Subject
- Art History
More by Ernst-Rüdiger Olderog and related titles
Remnant Raising and Vso Clausal Architecture
Felicia Lee
₹5,119
Aesthetic Transcendentalism in Emerson, Peirce, and Nineteenth-Century American Landscape Painting
Nicholas Guardiano
₹5,142
Participatory Design
Douglas Schuler, Aki Namioka
₹4,515
Design and Analysis of Experiments
Leonard C. Onyiah
₹5,065
Representing Landscape Architecture
Marc Treib
₹5,624
Photography, Architecture, and the Modern Italian Landscape
Lindsay Harris
₹4,210
The Quest for a New International Aid Architecture
Hatice Karahan
₹5,822
An Urban Approach to Climate Sensitive Design
Rohinton Emmanuel
₹4,735
Treasury of Art Nouveau Design & Ornament
Carol Belanger Grafton
₹1,831
System-Level Design with Rosetta
Perry Alexander
₹4,615
The Environments of Architecture
Randall Thomas
₹4,581