Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings
Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.
€112,20
Levertijd: 5 tot 10 werkdagen
Nota bene: de coronacrisis beïnvloedt de levertijden.
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
Meer op Athenaeum.nl over boeken
- Dagelijks een nieuwe recensie of leesfragment
- Regelmatig vertalers over hun werk
- Podcasts van interviews in de winkel
- Literair nieuws
- De agenda
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
