Cantitate/Preț
Produs

Safety-Critical Real-Time Systems

Editat de Bernd Krämer, Norbert Völker
en Limba Engleză Hardback – 30 sep 1997
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) 61119 lei  6-8 săpt.
  Springer Us – 3 dec 2010 61119 lei  6-8 săpt.
Hardback (1) 61752 lei  6-8 săpt.
  Springer Us – 30 sep 1997 61752 lei  6-8 săpt.

Preț: 61752 lei

Preț vechi: 77189 lei
-20%

Puncte Express: 926

Preț estimativ în valută:
10918 13044$ 9457£

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

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.