Name: Modal and Temporal Properties of Processes
Price: 768.95 DKK
Availability: InStock
Author: Colin Stirling
ISBN: 9781441931535

Modal and Temporal Properties of Processes af Colin Stirling

Du sparer 0% ift. normalprisen Spar 0%

Bag om Modal and Temporal Properties of Processes

In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Vis mere

Sprog:
Engelsk

ISBN:
9781441931535

Forlag:
Springer-Verlag New York Inc.

Indbinding:
Paperback

Sideantal:
191

Udgivet:
9. oktober 2011

Udgave:
12001

Størrelse:
180x253x18 mm.

Vægt:
394 g.

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

Forlænget returret til d. 31. januar 2025

Normalpris

BLACK FRIDAY
: :

768,95 kr. + Fragt
~~768,95 kr.~~

Medlemspris

718,95 kr.

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

Bag om Colin Stirling

Vis alle bøger af Colin Stirling

Beskrivelse af Modal and Temporal Properties of Processes

In recent years, model checking has become an essential technique for the formal verification of systems. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Brugerbedømmelser af Modal and Temporal Properties of Processes

Andre købte også..

Find lignende bøger

Bogen Modal and Temporal Properties of Processes findes i følgende kategorier:

Business og læring > Computer og IT

Modal and Temporal Properties of Processes - Colin Stirling - Bog

Bag om Colin Stirling

Beskrivelse af Modal and Temporal Properties of Processes

Brugerbedømmelser af Modal and Temporal Properties of Processes

Gør som tusindvis af andre bogelskere