Formal Development of Reactive Systems (English, Claus Lewerentz | Thomas Lindner)
by Claus Lewerentz | Thomas Lindner
Delivery options
Formal Development of Reactive Systems by Claus Lewerentz | Thomas Lindner is listed under Web Development on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540588672
ISBN-10
3540588671
Author
Claus Lewerentz | Thomas Lindner
About the Book
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, parti…
ISBN: 9783540588672
ISBN-13: 9783540588672
ISBN-10: 3540588671
Reader's Guide
What This Book Covers
- ·The main subject matter of Formal Development of Reactive Systems
- ·Ideas and detail relevant to Web Development
- ·Context that helps make sense of the material as a whole
Best Suited For
Readers with an interest in Web Development, from students to hobbyists.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Formal Development of Reactive Systems?
Formal Development of Reactive Systems starts from ₹2614 at BookBajar. Available in Paperback.
Who is the author of Formal Development of Reactive Systems?
Claus Lewerentz | Thomas Lindner is the author of Formal Development of Reactive Systems. Browse more books by Claus Lewerentz | Thomas Lindner on BookBajar.
Is Formal Development of Reactive Systems available in Paperback and Hardcover?
Yes, Formal Development of Reactive Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Development of Reactive Systems?
Yes, BookBajar offers free delivery for Formal Development of Reactive Systems across India. No minimum order value required.
Is Cash on Delivery available for Formal Development of Reactive Systems?
Yes, Cash on Delivery (COD) is available for Formal Development of Reactive Systems on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Formal Development of Reactive Systems?
Formal Development of Reactive Systems can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Formal Development of Reactive Systems?
Formal Development of Reactive Systems has ISBN 9783540588672 (ISBN-10: 3540588671). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Formal Development of Reactive Systems?
About the Book This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology.
Product ID: isbn-9783540588672
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637