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

Verified Software: Theories, Tools, And Experiments

Leggi la descrizione completa
Miglior prezzo disponibile
52,74€
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.

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

Verified Software. Theories, Tools And Experiments. 52,74€ Verified Software. Theories, Tools And Experiments 42,79€ Verified Software: Theories, Tools And Experiments 39,58€ Verified Software. Theories, Tools, And Experiments 42,79€ Verified Software: Theories, Tools, And Experiments 42,79€ Verified Software: Theories, Tools, Experiments 52,74€