Eric Y.T. Juan
Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science Eric Y.T. Juan Softcover reprint of the original 1st ed. 2002 edition

Name: Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science
Price: 119.49 EUR
Availability: OutOfStock
Author: Eric Y.T. Juan

Cena

€ 119,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 28. aug. - . gada 11. sept.

Saņemiet paziņojumus par jauniem Eric Y.T. Juan izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

Hardcover Book

2002 edition

(2002) € 119,49

Compositional Verification of Concurrent and Real-Time Systems - The Springer International Series in Engineering and Computer Science

Eric Y.T. Juan

Softcover reprint of the original 1st ed. 2002 edition

Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on.

196 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2012. gada 26. oktobris
ISBN13	9781461353492
Izdevēji	Springer-Verlag New York Inc.
Lapas	196
Izmēri	155 × 235 × 11 mm · 312 g
Valoda	Angļu