Critical Systems: Formal Methods and Automated Verification - Bog

- Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

indgår i Programming and Software Engineering serien

indgår i Lecture Notes in Computer Science serien

Critical Systems: Formal Methods and Automated Verification

Du sparer 0% ift. normalprisen Spar 0%

Paperback
8-11 hverdage
768,95 kr.

Sprog:
Engelsk

ISBN:
9783319671123

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
235

Udgivet:
25. august 2017

Udgave:
12017

Størrelse:
155x235x0 mm.

Vægt:
3869 g.

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

På lager

Normalpris

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

Medlemspris

718,95 kr.

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

Brugerbedømmelser af Critical Systems: Formal Methods and Automated Verification

Andre købte også..

Find lignende bøger

Bogen Critical Systems: Formal Methods and Automated Verification findes i følgende kategorier:

Business og læring > Computer og IT

Critical Systems: Formal Methods and Automated Verification - Bog

Brugerbedømmelser af Critical Systems: Formal Methods and Automated Verification

Gør som tusindvis af andre bogelskere