Safety-Critical Real-Time Systems
Editat de Bernd Krämer, Norbert Völkeren Limba Engleză Hardback – 30 sep 1997
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) | 611.19 lei 6-8 săpt. | |
| Springer Us – 3 dec 2010 | 611.19 lei 6-8 săpt. | |
| Hardback (1) | 617.52 lei 6-8 săpt. | |
| Springer Us – 30 sep 1997 | 617.52 lei 6-8 săpt. |
Preț: 617.52 lei
Preț vechi: 771.89 lei
-20%
Puncte Express: 926
Preț estimativ în valută:
109.18€ • 130.44$ • 94.57£
109.18€ • 130.44$ • 94.57£
Carte tipărită la comandă
Livrare economică 14-28 martie
Specificații
ISBN-13: 9780792380221
ISBN-10: 0792380223
Pagini: 90
Ilustrații: IV, 90 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.33 kg
Ediția:Reprinted from REAL-TIME SYSTEMS, 13:3, 1997
Editura: Springer Us
Colecția Springer
Locul publicării:New York, NY, United States
ISBN-10: 0792380223
Pagini: 90
Ilustrații: IV, 90 p.
Dimensiuni: 155 x 235 x 8 mm
Greutate: 0.33 kg
Ediția:Reprinted from REAL-TIME SYSTEMS, 13:3, 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.