Safety-Critical Real-Time Systems
Editat de Bernd Krämer, Norbert Völkeren Limba Engleză Paperback – 3 dec 2010
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 617.54 lei 43-57 zile | |
Springer Us – 3 dec 2010 | 617.54 lei 43-57 zile | |
Hardback (1) | 623.93 lei 43-57 zile | |
Springer Us – 30 sep 1997 | 623.93 lei 43-57 zile |
Preț: 617.54 lei
Preț vechi: 771.92 lei
-20% Nou
Puncte Express: 926
Preț estimativ în valută:
118.20€ • 123.19$ • 98.39£
118.20€ • 123.19$ • 98.39£
Carte tipărită la comandă
Livrare economică 06-20 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781441950192
ISBN-10: 1441950192
Pagini: 100
Ilustrații: IV, 90 p.
Dimensiuni: 155 x 235 x 5 mm
Greutate: 0.15 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 1441950192
Pagini: 100
Ilustrații: IV, 90 p.
Dimensiuni: 155 x 235 x 5 mm
Greutate: 0.15 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.- A Highly Dependable Computing Architecture for Safety-Critical Control Applications.- The ProCoS Approach to Correct Systems.- Building Large, Complex, Distributed Safety-Critical Operating Systems.- Contributing Authors.