Name: formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers (en Inglés)
Price: 174.96 PEN
Availability: InStock
Author: Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian
ISBN: 9783642317613

portada formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers (en Inglés)

formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers (en Inglés)

Formato

Libro Físico

Ilustrado por

Editorial

Autor

Beckert, Bernhard ; Damiani, Ferruccio ; Gurov, Dilian

Año

2012

Idioma

Inglés

N° páginas

251

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.5 x 1.8 cm

Peso

0.61 kg.

ISBN

3642317618

ISBN13

9783642317613

Categorías

Lenguajes de programación y extensión/scripting: general

formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers (en Inglés)

Bernhard Beckert (Ilustrado por) · Ferruccio Damiani (Ilustrado por) · Dilian Gurov (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 388,81S/ 174,96

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 174,96

Llega entre el 14 Ago y el 24 Ago a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "formal verification of object-oriented software: international conference, foveoo 2011, turin, italy, october 5-7, 2011, revised selected papers (en Inglés)"

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.