Computer Aided Verification

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings Natasha Sharygina ; Helmut Veith

This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.
€121,15

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642397981
Uitgever
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Druk
1e
Datum
01-01-2013
Taal
Engels
Bladzijden
1015 pp.
Bindwijze
Paperback
Genre
Informatica

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum