De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer-Aided Verification of Coordinating Processes

Computer-Aided Verification of Coordinating Processes

- The Automata-Theoretic Approach

af Robert P. Kurshan

indgår i Princeton Legacy Library serien

indgår i Princeton Series in Computer Science serien

Computer-Aided Verification of Coordinating Processes af Robert P. Kurshan
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
  • Indbinding:
  • Paperback
  • Sideantal:
  • 284
  • Udgivet:
  • 14. juli 2014
  • Størrelse:
  • 232x157x19 mm.
  • Vægt:
  • 458 g.
  • 8-11 hverdage.
  • 17. januar 2025

Normalpris

Abonnementspris

- 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: