Formal Methods for Embedded Distributed Systems: How to master the complexity
Editat de Fabrice Kordon, Michel Lemoineen Limba Engleză Hardback – 15 sep 1991
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 633.94 lei 43-57 zile | |
Springer Us – 5 noi 2010 | 633.94 lei 43-57 zile | |
Hardback (1) | 640.59 lei 43-57 zile | |
Springer Us – 15 sep 1991 | 640.59 lei 43-57 zile |
Preț: 640.59 lei
Preț vechi: 800.74 lei
-20% Nou
Puncte Express: 961
Preț estimativ în valută:
122.59€ • 127.72$ • 101.93£
122.59€ • 127.72$ • 101.93£
Carte tipărită la comandă
Livrare economică 10-24 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781402079962
ISBN-10: 1402079966
Pagini: 263
Ilustrații: XX, 263 p. 28 illus.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.59 kg
Ediția:2004
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1402079966
Pagini: 263
Ilustrații: XX, 263 p. 28 illus.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.59 kg
Ediția:2004
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
Professional/practitionerCuprins
The BART Case Study.- Formal Specifcation and Refinement of a Safe Train Control Function.- From UML to Z.- Environmental Modeling with UML.- Checking BART Test Scenarios with UML’s Object Constraint Language.- Modeling and verifying behavioral aspects.- Mastering the Complexity of Reactive Systems - The AutoFocusApproach.- Conclusions.
Caracteristici
The main reason for buying such a book is that it suggests a proposal for a full coverage of the software life cycle of critical and/or distributed system. It also makes many connections to formal techniques, that are known as the best solution to significantly increase the reliability of such systems