Formal Methods: Foundations and Applications

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
642,95 kr.

Bag om Formal Methods: Foundations and Applications

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;

Vis mere

Sprog:
Engelsk

ISBN:
9783319294728

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
195

Udgivet:
3. februar 2016

Udgave:
12016

Størrelse:
155x235x12 mm.

Vægt:
3343 g.

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

På lager

Normalpris

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

Medlemspris

592,95 kr.

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

Beskrivelse af Formal Methods: Foundations and Applications

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;

Brugerbedømmelser af Formal Methods: Foundations and Applications

Andre købte også..

Find lignende bøger

Bogen Formal Methods: Foundations and Applications findes i følgende kategorier:

Business og læring > Computer og IT

Formal Methods: Foundations and Applications - Bog

Beskrivelse af Formal Methods: Foundations and Applications

Brugerbedømmelser af Formal Methods: Foundations and Applications

Gør som tusindvis af andre bogelskere