Automated Technology for Verification and Analysis - - Böcker - Springer Nature Switzerland AG - 9783030010898 - 30 september 2018
Om omslag och titel inte matchar är det titeln som gäller

Automated Technology for Verification and Analysis 1st ed. 2018 edition

Få ett e-postmeddelande när artikeln är tillgänglig
Har du en profil? Logga in

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Inte betygsatt ännu

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

560 pages, 133 Illustrations, black and white; XIII, 560 p. 133 illus.

Media Böcker     Bok
Releasedatum 30 september 2018
ISBN13 9783030010898
Utgivare Springer Nature Switzerland AG
Antal sidor 560
Mått 150 × 220 × 20 mm   ·   861 g
Språk Tyska  
Redaktör Lahiri, Shuvendu K.
Redaktör Wang, Chao

Mer från samma **utgivare**