Automated Technology for Verification and Analysis

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.008,95 kr.

Bag om Automated Technology for Verification and Analysis

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.

Vis mere

Sprog:
Engelsk

ISBN:
9783319249520

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
520

Udgivet:
22. november 2015

Udgave:
12015

Størrelse:
155x235x27 mm.

Vægt:
8015 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 30. november 2024

På lager

Normalpris

BLACK NOVEMBER
1.008,95 kr. + Fragt
~~1.008,95 kr.~~

Medlemspris

958,95 kr.

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af Automated Technology for Verification and Analysis

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.

Brugerbedømmelser af Automated Technology for Verification and Analysis

Andre købte også..

Find lignende bøger

Bogen Automated Technology for Verification and Analysis findes i følgende kategorier:

Business og læring > Computer og IT

Automated Technology for Verification and Analysis - Bog

Beskrivelse af Automated Technology for Verification and Analysis

Brugerbedømmelser af Automated Technology for Verification and Analysis

Gør som tusindvis af andre bogelskere