Francesco Logozzo
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues Francesco Logozzo 2008 edition

Name: Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues
Price: 53.99 EUR
Availability: OutOfStock
Author: Francesco Logozzo

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 30. sept. - . gada 8. okt.

Saņemiet paziņojumus par jauniem Francesco Logozzo izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings - Theoretical Computer Science and General Issues

Francesco Logozzo

2008 edition

This book contains the proceedings of VMCAI 2007. It features current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, and advancement of hybrid methods.

325 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2008. gada 26. februāris
ISBN13	9783540781622
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	325
Izmēri	155 × 235 × 18 mm · 480 g
Valoda	Franču
Redaktors	Logozzo, Francesco
Redaktors	Peled, Doron A.
Redaktors	Zuck, Leonore D.