Name: Temporal Verification of Reactive Systems
Price: 1170.95 DKK
Availability: InStock
Author: Zohar Manna
ISBN: 9781461287018

Temporal Verification of Reactive Systems af Zohar Manna

Du sparer 0% ift. normalprisen Spar 0%

Paperback
2-3 uger
1.170,95 kr.

Bag om Temporal Verification of Reactive Systems

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

Vis mere

Sprog:
Engelsk

ISBN:
9781461287018

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
512

Udgivet:
22. August 2012

Størrelse:
235x155x27 mm.

Vægt:
813 g.

Leveringstid: 2-3 uger.
Forventet levering: 23. Oktober 2024

Normalpris

1.170,95 kr. + Fragt
~~1.170,95 kr.~~

Medlemspris

1.120,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Zohar Manna

Vis alle bøger af Zohar Manna

Beskrivelse af Temporal Verification of Reactive Systems

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

Brugerbedømmelser af Temporal Verification of Reactive Systems

Andre købte også..

Find lignende bøger

Bogen Temporal Verification of Reactive Systems findes i følgende kategorier:

Business og læring > Computer og IT

Temporal Verification of Reactive Systems - Zohar Manna - Bog

Bag om Zohar Manna

Beskrivelse af Temporal Verification of Reactive Systems

Brugerbedømmelser af Temporal Verification of Reactive Systems

Gør som tusindvis af andre bogelskere