Neil D Jones
Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues Neil D Jones 2008 edition

Name: Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues
Price: 53.99 EUR
Availability: OutOfStock
Author: Neil D Jones

Cena

€ 53,99

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

Paredzamā piegāde . gada 22. - 30. okt.

Saņemiet paziņojumus par jauniem Neil D Jones 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: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings - Theoretical Computer Science and General Issues

Neil D Jones

2008 edition

Covers the proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009. This book addresses issues from the communities of verification, model checking, and abstract interpretation.

396 pages, 1, black & white illustrations

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	2008. gada 18. decembris
ISBN13	9783540938996
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	381
Izmēri	155 × 235 × 20 mm · 589 g
Valoda	Franču
Redaktors	Jones, Neil
Redaktors	Muller-Olm, Markus