Boekstra.nl - Ganesh Gopalakrishnan, Shaz Qadeer

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Omschrijving

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

In de winkelwagen 4 werkdagen Wenslijst Stel een vraag

Gratis verzending vanaf
€ 19,95 binnen Nederland

Schrijver: Ganesh Gopalakrishnan, Shaz Qadeer
Titel: Computer Aided Verification
Uitgever: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Jaar: 2011
Taal: Engels
Pagina's: 763
Gewicht: 1140 gr

EAN: 9783642221095
Afmetingen: 240 x 159 x 42 mm
Bindwijze: Paperback

U ontvangt bij ons altijd de laatste druk!

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings

Omschrijving

Rubrieken

Stel een vraag