Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Embedded Distributed Systems

Name: Formal Methods for Embedded Distributed Systems
Brand: Springer-Verlag New York Inc.
SKU: 01418223
Price: 41741 HUF
Availability: InStock
Author: Fabrice Kordon
ISBN: 9781402079962

How to master the complexity

Fabrice Kordon

Michel Lemoine

Language

English

Book Hardback

Libristo code: 01418223

Publishers Springer-Verlag New York Inc., September 1991

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requ... Full description

Libristo code: 01418223

285 b

41 741 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Capire l'ecologia: Fase 1 Ifueko Oghogho Ukponmwan

Paperback

21 421 Ft

Onu Da Sonra Anlatirim Okan Cil

Paperback

3 549 Ft

CAHORS 2024 BLAY-FOLDEX

Paperback

3 845 Ft

Physik 9./10. Schuljahr. Sachsen-Anhalt - Schulbuch

Hardback

12 617 Ft

Érotique de l'administration Deslandes

Book

7 731 Ft

Jaroslav Velc V oblacích Ondřej Neff

Hardback

28 389 Ft

ICH LIEBE ES, WENN MEINE FRAU MICH ZUM DART SPIELEN GEHEN LÄSST - Gewohnheitstracker Gewohnheitstracker Notizbuch

Paperback

4 081 Ft

gestohlene Weihnachtsfrieden Herbert Langer

Paperback

3 521 Ft

Čeština expres 1 (A1/1) Lída Holá

Paperback

5 589 Ft

Jednou když jsem výjimečně kouřil aneb Kuřácké povídky Remi Kloos

Paperback

222 Ft

Neue Medien im Englischunterricht Silvia Hennig

Paperback

6 278 Ft

Antiker Humanismus als padagogische Bewegung Jannina Schreiber

Paperback

6 278 Ft

R Tsel Mann - Das R Tsel Frau Jolie. de

Paperback

2 947 Ft

Mord In Serie 32: Gemini Dagmar Bittner

Audio CD

3 669 Ft

Deutsch-Franzoesische Krieg von 1870/71 im Lichte des Neorealismus Eike-Christian Kersten

Paperback

5 603 Ft

Defesa tecnica, eficiencia e garantismo Santiago Grilo Fabiano Franklin

Paperback

11 442 Ft

Barcelona: La ciudad de Gaudí Moix Puig

Paperback

5 751 Ft

Loix Et Constitutions Des Colonies Francoises de l'Amerique Sous Le Vent. Tome 3 Moreau De Saint-Mery-L-E

Paperback

19 895 Ft

American Assassin Steven Price

Audio CD

5 737 Ft

The development of any Software (Industrial) Intensive System, e.g. critical embedded software, requires both different notations, and a strong development 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! Formal Methods for Embedded Distributed Systems is dedicated to the presentation of some techniques to be used in the context of distributed and/or embedded systems. Since formal techniques rely on models, i.e. different descriptions of the system to be designed, the presented techniques are located in the first part of software development. Formal Methods for Embedded Distributed Systems makes many connections between "traditional development approaches" and the latest developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems. The target audience is mainly composed of professionals (engineers, researchers and teachers), and students (graduated and postgraduated) who want to have a clear understanding of how to manage the inherent complexity of critical and/or distributed systems.