Contacto
Cómo comprar
Entrega
Guía de compras
Formal Verification of Object-Oriented Software
Inglés
148 b
Hasta 30 días para devoluciones
Clientes que también han comprado
/
Tapa blanda
43.29
€
/
Tapa blanda
67.69
€
Tapa blanda
41.79
€
/
Tapa blanda
17.89
€
/
Tapa blanda
70.79
€
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 sharp. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.
Sobre el libro
Inglés
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
18.89
€
/
Tapa blanda
15.29
€
/
Tapa blanda
13.49
€
/
Tapa blanda
14.09
€
/
Tapa blanda
74.39
€
