Computer Aided Verification

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings Ganesh C. Gopalakrishnan ; Shaz Qadeer

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

Specificaties

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

Delen op

Meer op Athenaeum.nl over boeken

5 redenen om dit boek bij ons te kopen

  • Gratis verzending vanaf € 20,-
  • Advies per telefoon
  • Bestellen zonder registratie of login
  • Per fiets bezorgd, indien mogelijk
  • Vertrouwde service, veilige afhandeling

pro-mbooks1 : athenaeum