Name: The Temporal Logic of Reactive and Concurrent Systems
Price: 1246.95 DKK
Availability: InStock
Author: Zohar Manna
ISBN: 9780387976648

The Temporal Logic of Reactive and Concurrent Systems af Zohar Manna

Du sparer 0% ift. normalprisen Spar 0%

Hardback
8-11 hverdage
1.246,95 kr.

Bag om The Temporal Logic of Reactive and Concurrent Systems

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

Vis mere

Sprog:
Engelsk

ISBN:
9780387976648

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Hardback

Sideantal:
427

Udgivet:
18. december 1991

Udgave:
1992

Størrelse:
241x166x31 mm.

Vægt:
822 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 16. januar 2025

På lager

Normalpris

1.246,95 kr. + Fragt
~~1.246,95 kr.~~

Medlemspris

1.196,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 The Temporal Logic of Reactive and Concurrent Systems

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.

Brugerbedømmelser af The Temporal Logic of Reactive and Concurrent Systems

Andre købte også..

Find lignende bøger

Bogen The Temporal Logic of Reactive and Concurrent Systems findes i følgende kategorier:

Business og læring > Computer og IT

The Temporal Logic of Reactive and Concurrent Systems - Zohar Manna - Bog

Bag om Zohar Manna

Beskrivelse af The Temporal Logic of Reactive and Concurrent Systems

Brugerbedømmelser af The Temporal Logic of Reactive and Concurrent Systems

Gør som tusindvis af andre bogelskere