Extending Key for the Verification of C Programs - Paperback / softback - 2008

Christoph Gladisch

Extending Key for the Verification of C Programs - Paperback / softback - 2008 - 1
Resumo

Year of publication: 2008
Pagination: 276 pages
Format: Paperback / softback

Artigo indisponível

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