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) | 625.04 lei 6-8 săpt. | |
Springer Us – 3 dec 2010 | 625.04 lei 6-8 săpt. | |
Hardback (1) | 631.51 lei 6-8 săpt. | |
Springer Us – 30 sep 1997 | 631.51 lei 6-8 săpt. |
Preț: 625.04 lei
Preț vechi: 781.31 lei
-20% Nou
Puncte Express: 938
Preț estimativ în valută:
119.62€ • 124.62$ • 99.46£
119.62€ • 124.62$ • 99.46£
Carte tipărită la comandă
Livrare economică 08-22 februarie 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.