Springer Nature
Modal And Temporal Properties Of Processes
Miglior prezzo disponibile
54,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. 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 in all areas of computer science and software programming.
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: 54,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Modal And Temporal Properties Of Processes
54,99$
Spectral, Spatial, And Temporal Properties Of Lasers
54,99$
Verifying Temporal Properties Of Systems
54,99$
Geomicrobiological Properties And Processes Of Travertine
109,99$
Properties And Processes Of Crustal Fault Zones
54,99$
Executable Modal And Temporal Logics
54,99$
Diffusion Processes, Structure, And Properties Of Metals
54,99$
Extremes And Related Properties Of Random Sequences And Processes
111,30$