Extending Key for the Verification of C Programs - Paperback / softback - 2008
Christoph Gladisch
Resumo
Year of publication: 2008
Pagination: 276 pages
Format: Paperback / softback
Extending Key for the Verification of C Programs -...
Resumo
Year of publication: 2008
Pagination: 276 pages
Format: Paperback / softback
Publicidade
Avaliações dos nossos clientes
Extending Key for the Verification of C Programs - Paperback / softback - 2008
Sê o primeiro a dar
a tua opinião sobre este produto
Características
- Editora
-
VDM Verlag
- Dimensão
-
229 x 152 x 15
- Peso
-
408
- Tema
-
Software Engineering|Computer vision
- Origem
-
Germany
- EAN
-
9783639000023
Publicidade
Publicidade