Cantitate/Preț
Produs

Safety-Critical Real-Time Systems

Editat de Bernd Krämer, Norbert Völker
en Limba Engleză Paperback – 3 dec 2010
Safety-Critical Real-Time Systems brings together in one place important contributions and up-to-date research results in this fast moving area.
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 61754 lei  43-57 zile
  Springer Us – 3 dec 2010 61754 lei  43-57 zile
Hardback (1) 62393 lei  43-57 zile
  Springer Us – 30 sep 1997 62393 lei  43-57 zile

Preț: 61754 lei

Preț vechi: 77192 lei
-20% Nou

Puncte Express: 926

Preț estimativ în valută:
11820 12319$ 9839£

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

Public țintă

Research

Cuprins

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.