Verified Software: Theories, Tools and Experiments

Verified Software: Theories, Tools and Experiments 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers Dimitra Giannakopoulou ; Daniel Kroening

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification.
€70,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783319121536
Uitgever
Springer International Publishing AG
Druk
1e
Datum
01-01-2014
Taal
Engels
Bladzijden
287 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