Springer Nature
Verification: Theory And Practice
Miglior prezzo disponibile
109,99$
Springer Nature · Spedizione gratuita
VISAPayPal
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis.
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: 109,99$
Prodotti simili
Una selezione di prodotti che potrebbero interessarti. Guarda tutti
Theory And Practice
179,99$
OptimizationâTheory And Practice
84,99$
Money: Theory And Practice
99,99$
Sampling Theory And Practice
129,99$
Recent Practice And Theory
54,99$
Governance Theory And Practice
139,99$
Leveraging Applications Of Formal Methods, Verification And Validation. Practice
54,99$
Gks Theory And Practice
109,99$