Name: Temporal Logic and State Systems
Price: 921.95 DKK
Availability: InStock
Author: Stephan Merz
ISBN: 9783642086809

Temporal Logic and State Systems af Stephan Merz

Du sparer 0% ift. normalprisen Spar 0%

Bag om Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

Vis mere

Sprog:
Engelsk

ISBN:
9783642086809

Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Indbinding:
Paperback

Sideantal:
436

Udgivet:
23. november 2010

Udgave:
12008

Størrelse:
234x156x23 mm.

Vægt:
682 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 6. december 2024

Normalpris

BLACK NOVEMBER
921,95 kr. + Fragt
~~921,95 kr.~~

Medlemspris

871,95 kr.

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

Bag om Stephan Merz

Vis alle bøger af Stephan Merz

Beskrivelse af Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic;

Brugerbedømmelser af Temporal Logic and State Systems

Andre købte også..

Find lignende bøger

Bogen Temporal Logic and State Systems findes i følgende kategorier:

Business og læring > Computer og IT

Temporal Logic and State Systems - Stephan Merz - Bog

Bag om Stephan Merz

Beskrivelse af Temporal Logic and State Systems

Brugerbedømmelser af Temporal Logic and State Systems

Gør som tusindvis af andre bogelskere