Computer Aided Verification

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II Daniel Kroening ; Corina S. Pasareanu

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in July 2015. The total of 58 full and 11 short papers presented in the proceedings was carefully reviewed and selected from 252 submissions.
€75,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783319216676
Uitgever
Springer International Publishing AG
Druk
1e
Datum
01-01-2015
Taal
Engels
Bladzijden
469 pp.
Bindwijze
Paperback
Genre
Informatica

Delen op

Meer op Athenaeum.nl over boeken

5 redenen om dit boek bij ons te kopen

  • Gratis verzending
  • Extra feestelijk verpakt
  • Te ruilen tot 10 januari
  • Bestellen zonder registratie of login
  • Vertrouwde service, veilige afhandeling

pro-mbooks1 : athenaeum