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 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 2010 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$ Formal Object-Oriented Development 54,99$ Object-Oriented Software For Manufacturing Systems 54,99$ Structured Object-Oriented Formal Language And Method 39,99$