Temporal Logic and State Systems
- Indbinding:
- Paperback
- Sideantal:
- 436
- Udgivet:
- 23. november 2010
- Udgave:
- 12008
- Størrelse:
- 234x156x23 mm.
- Vægt:
- 682 g.
- 8-11 hverdage.
- 16. 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.
- 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.
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Temporal Logic and State Systems findes i følgende kategorier:
© 2024 Pling BØGER Registered company number: DK43351621