Automated Technology for Verification and Analysis

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
1.015,95 kr.

Bag om Automated Technology for Verification and Analysis

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;

Vis mere

Sprog:
Engelsk

ISBN:
9783319465197

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
530

Udgivet:
22. september 2016

Udgave:
12016

Størrelse:
155x235x28 mm.

Vægt:
8132 g.

Leveringstid: 8-11 hverdage.
Forventet levering: 3. december 2024

På lager

Normalpris

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

Medlemspris

965,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 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;

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