Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Software Engineering and Formal Methods
- 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Engelsk
Bogcover for Software Engineering and Formal Methods af , 9783319229683
Specifikationer
Sprog:
Engelsk
Sider:
369
ISBN-13:
9783319229683
Indbinding:
Paperback
ISBN-10:
3319229680
Udg. Dato:
21 aug 2015
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
21 aug 2015

Software Engineering and Formal Methods

- 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Engelsk
Paperback 2015
Format:

Bog beskrivelse

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.

The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testing and model checking, planning, modelling, and model transformation.
... Vis mere

Forlags Vejl. pris
524,24 kr
Hos Booktok
409 kr
spar 22%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
369
ISBN-13:
9783319229683
Indbinding:
Paperback
ISBN-10:
3319229680
Udg. Dato:
21 aug 2015
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
21 aug 2015
Finder produkter...
Kategori sammenhænge