Springer Nature
Modal And Temporal Properties Of Processes-image

Modal And Temporal Properties Of Processes

Leggi la descrizione completa
Miglior prezzo disponibile
52,74€
Springer Nature · Spedizione gratuita
Vedi Offerta
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: 52,74€

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Modal And Temporal Properties Of Processes 52,74€ Colin Stirling | Modal And Temporal Properties Of Processes | Buch | Englisch 48,95€ Spectral, Spatial, And Temporal Properties Of Lasers 52,74€ Geomicrobiological Properties And Processes Of Travertine 105,49€ Properties And Processes Of Crustal Fault Zones 52,74€ Diffusion Processes, Structure, And Properties Of Metals 52,74€ Verifying Temporal Properties Of Systems 52,74€ Extremes And Related Properties Of Random Sequences And Processes 189,89€