Springer Nature
Verified Software: Theories, Tools And Experiments-image

Verified Software: Theories, Tools And Experiments

Leggi la descrizione completa
Miglior prezzo disponibile
39,58€
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

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: 39,58€

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Verified Software. Theories, Tools And Experiments. 52,74€ Verified Software. Theories, Tools And Experiments 42,79€ Verified Software. Theories, Tools, And Experiments 42,79€ Verified Software: Theories, Tools And Experiments 50,64€ Verified Software: Theories, Tools, And Experiments 52,74€ Verified Software: Theories, Tools, Experiments 52,74€