
Formal Methods for Embedded Distributed Systems (English, Fabrice Kordon | Michel Lemoine)
by Fabrice Kordon | Michel Lemoine
Delivery options
₹11,447
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹11,447
Book Details
Publisher
Springer
Language
English
ISBN-13
9781402079962
ISBN-10
1402079966
Author
Fabrice Kordon | Michel Lemoine
About the Book
The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong devel- ment process. Different notations are mandatory because different aspects of the Software System have to be tackled. A strong development process is mandatory as well because without a strong organization we cannot warrantee the system will meet its requirements. Unfortunately, much more is needed!…
ISBN: 9781402079962
ISBN-13: 9781402079962
ISBN-10: 1402079966
Frequently Asked Questions
What is the price of Formal Methods for Embedded Distributed Systems?
Formal Methods for Embedded Distributed Systems starts from ₹11447 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Formal Methods for Embedded Distributed Systems?
Fabrice Kordon | Michel Lemoine is the author of Formal Methods for Embedded Distributed Systems. Browse more books by Fabrice Kordon | Michel Lemoine on BookBajar.
Is Formal Methods for Embedded Distributed Systems available in Paperback and Hardcover?
Yes, Formal Methods for Embedded Distributed Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Formal Methods for Embedded Distributed Systems?
Yes, BookBajar offers free delivery for Formal Methods for Embedded Distributed Systems across India. No minimum order value required.
Is Cash on Delivery available for Formal Methods for Embedded Distributed Systems?
Yes, Cash on Delivery (COD) is available for Formal Methods for Embedded Distributed Systems on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9781402079962
🛒 Customers Also Bought

Math Circles for Elementary School Students: Berkeley 2009 and Manhattan 2011 (MSRI Mathematical Circles Library, 13) (English, Paperback, Natasha ...
₹5,583
Schmieden Und Pressen (English, P. H. Schweißguth)
₹5,596
Das Elektrostahlverfahren (English, St Kriz | F. T. Sisco)
₹5,574
Feldbussysteme in Der PRAXIS (English, Birgit Scherff | Erwin Haese | Hagen R. Wenzek)
₹4,192
Optoelektronik II (English, M. Plihal | Günter Winstel | Claus Weyrich)
₹3,717
Telematik Im Straßenverkehr (English, Günter Müller | Georg Hohlweg)
₹4,170Related Products

Theories of Mathematics Education (English, Bharath Sriraman | Lyn English)
₹11,657
Advances in Teacher Emotion Research (English, Paul A. Schutz | Michalinos Zembylas)
₹17,395
Bericht Über Den Vierten Kongress Für Heilpädagogik in Leipzig, 11.-15. April 1928 (English, Kongreß Für Heilpädagogik | Erwin Lesch)
₹3,508
Impossible Bodies, Impossible Selves (English, Deborah Youdell)
₹7,297
Kunst Und Religion Der Mayavölker (English, E. P. Dieseldorf)
₹3,508