Springer Nature
Formal Verification Of Object-Oriented Software-image

Formal Verification Of Object-Oriented Software

Leggi la descrizione completa
Miglior prezzo disponibile
39,99$
Springer Nature · Spedizione gratuita
Vedi Offerta
Prezzi aggiornati
Specifiche
MarcaSpringer Nature
CondizioneNuovo
Descrizione
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 – organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.

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,99$

Ho letto e accettato i informativa sulla privacy.

Prodotti simili

Una selezione di prodotti che potrebbero interessarti. Guarda tutti

Formal Verification Of Object-Oriented Software 39,99$ Verification Of Object-Oriented Software. The Key Approach 109,99$ Modular Specification And Verification Of Object-Oriented Programs 54,99$ Testing Object-Oriented Software 54,99$ Object-Oriented Software In C++ 54,99$ Object-Oriented Software For Manufacturing Systems 54,99$ Formal Object-Oriented Development 54,99$ Structured Object-Oriented Formal Language And Method 39,99$