Verified Software. Theories, Tools, and Experiments

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers Gale Research Inc

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.
€75,95

Levertijd: 5 tot 10 werkdagen.

Specificaties

ISBN
9783030035914
Uitgever
Springer Nature Switzerland AG
Druk
1e
Verschenen
01-01-2018
Taal
Engels
Bladzijden
345 pp.
Bindwijze
Paperback
Genre
Nederlandstalige literatuur

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