Computer Aided Verification
- Ewald Oersted
- Springer-verlag Berlin And Heidelbe
- 561 páginas
- ISBN: 3540646086 ISBN-13: 9783540646082
- (30/06/1998)
- Entrega de 1 a 15 días contra reembolso por agencia urgente*
A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
Ahorra Con Agapea
"Compra "Computer Aided Verification" junto a "Hipatia de Alejandría":
Por solo 85.92 € Gastos de envío gratis**
Otros clientes que compraron Computer Aided Verification, también compraron:
Struct Of Computer Programs 2e
- 57,43€($78,01)
Spftware Engineering And Computer Games
- Rudy Rucker
- 648 páginas
- 81,07€($110,13)
Aspect-oriented Programming With The E Verification Language
- David Robinson
- 264 páginas
- 69,30€($94,14)
Otros libros de Programación. Otros:
Programación En Lenguajes Estructurados
- ALEJANDRO CALDERÓN MATEOS; JESÚS CARRETERO PÉREZ; JAVIER FERNÁNDEZ MUÑOZ; FÉLIX GARCÍA CARBALLEIRA; JOSÉ MANUEL PÉREZ LOBATO; JOSÉ DANIEL GARCÍA SÁNCHEZ; LUIS MIGUEL SÁNCHEZ GARCÍA
- 464 páginas
- 34€($46,19)
Diseño De Programas. Formalismo Y Abstraccion 3/e
- Ricardo Peña Marí
- 488 páginas
- 29,90€($40,62)
Uml Gota A Gota
- Martin Fowler - Kendall Scott
- 26€($35,32)
Cmmi : Guía Para La Integración De Procesos Y La Mejora De Productos
- Beth, Mary; Konrad, Mike; Shrum, Sandy
- 664 páginas
- 65€($88,3)
El Lenguaje Unificado De Modelado, Guía Del Usuario 2/e
- Grady Booch, James Rumbaugh E Ivar Jacobson.
- 552 páginas
- 46,25€($62,83)
Guía De Campo De Flash Cs3
- PASCUAL, F.
- 262 páginas
- 17,9€($24,32)
**Oferta válida solo para envíos a España. Resto de destinos se aplicará un descuento de 4,95 €