Name: Computer-Aided Verification of Coordinating Processes
Price: 650.95 DKK
Availability: InStock
Author: Robert P. Kurshan
ISBN: 9780691606057

Computer-Aided Verification of Coordinating Processes af Robert P. Kurshan

Du sparer 0% ift. normalprisen Spar 0%

Bag om Computer-Aided Verification of Coordinating Processes

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Vis mere

Sprog:
Engelsk

ISBN:
9780691606057

Forlag:
Princeton University Press

Indbinding:
Paperback

Sideantal:
284

Udgivet:
14. Juli 2014

Størrelse:
232x157x19 mm.

Vægt:
458 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 9. Oktober 2024

Normalpris

650,95 kr. + Fragt
~~650,95 kr.~~

Abonnementspris

646,95 kr.

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Robert P. Kurshan

Vis alle bøger af Robert P. Kurshan

Beskrivelse af Computer-Aided Verification of Coordinating Processes

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

Brugerbedømmelser af Computer-Aided Verification of Coordinating Processes

Andre købte også..

Find lignende bøger

Bogen Computer-Aided Verification of Coordinating Processes findes i følgende kategorier:

Business og læring