Formal Methods: Foundations and Applications

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
778,95 kr.

Bag om Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;

Vis mere

Sprog:
Engelsk

ISBN:
9783319498140

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
253

Udgivet:
13. november 2016

Udgave:
12016

Størrelse:
155x235x14 mm.

Vægt:
4044 g.

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

På lager

Normalpris

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

Medlemspris

728,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 the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;

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