Springer Nature
Temporal Logic And State Systems
Miglior prezzo disponibile
84,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
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; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Storico prezzi
Ricevi una notifica se il prezzo scende
Ti invieremo un'email quando il prezzo di questo prodotto diminuirà.
- Aggiornamenti dei prezzi in tempo reale
- Oltre 50 negozi monitorati
- Avvisi gratuiti di calo prezzo
- Solo negozi verificati
Avvisami quando il prezzo scende sotto: 84,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Temporal Logic And State Systems
89,99$
The Temporal Logic Of Reactive And Concurrent Systems
119,99$
Specifying Message Passing And Time-Critical Systems With Temporal Logic
54,99$
Temporal Logic
169,99$
Advances In Temporal Logic
169,99$
Temporal Logic In Specification
39,99$
Temporal Logic Of Programs
54,99$
Temporal Modalities In Arabic Logic
54,99$