Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Automated Technology for Verification and Analysis
- 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Engelsk
Bogcover for Automated Technology for Verification and Analysis af , 9783319249520
Specifikationer
Sprog:
Engelsk
Sider:
520
ISBN-13:
9783319249520
Indbinding:
Paperback
ISBN-10:
3319249525
Udg. Dato:
22 nov 2015
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
22 nov 2015

Automated Technology for Verification and Analysis

- 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Engelsk
Paperback 2015
Format:

Bog beskrivelse

This book constitutes the proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015.

The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

... Vis mere

Forlags Vejl. pris
419,37 kr
Hos Booktok
409 kr
spar 2%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
520
ISBN-13:
9783319249520
Indbinding:
Paperback
ISBN-10:
3319249525
Udg. Dato:
22 nov 2015
Størrelse i cm:
23,5 x 15,5
Oplagsdato:
22 nov 2015
Finder produkter...
Kategori sammenhænge