Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
659,95 kr.

Bag om NASA Formal Methods

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.

Vis mere

Sprog:
Engelsk

ISBN:
9783319779348

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
470

Udgivet:
11. marts 2018

Udgave:
12018

Størrelse:
155x235x0 mm.

Vægt:
735 g.

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

På lager

Normalpris

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

Medlemspris

609,95 kr.

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

Beskrivelse af NASA Formal Methods

This book constitutes the proceedings of the 10th International Symposium on NASA Formal Methods, NFM 2018, held in Newport News, VA, USA, in April 2018. The 24 full and 7 short papers presented in this volume were carefully reviewed and selected from 92 submissions.

Brugerbedømmelser af NASA Formal Methods

Andre købte også..

Find lignende bøger

Bogen NASA Formal Methods findes i følgende kategorier:

Business og læring > Computer og IT

NASA Formal Methods - Bog

Beskrivelse af NASA Formal Methods

Brugerbedømmelser af NASA Formal Methods

Gør som tusindvis af andre bogelskere