Computer Aided Verification

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings TOUILI, Tayssir ; Cook, Byron ; Jackson, Paul

This book constitutes the refereed proceedings of the 22nd International Conference on Computer Aided Verification, CAV 2010, held in Edinburgh, UK, in July 2010 as part of th
€141,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783642142949
Uitgever
Springer-Verlag GmbH
Druk
1e
Verschenen
01-01-2010
Taal
Engels
Bladzijden
676 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