Critical Systems: Formal Methods and Automated Verification

- 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
769,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.

BLACK WEEK
769,95 kr.
~~769,95 kr.~~

Gratis fragt

Leveringstid: 8-11 hverdage

Forventet levering: 9. december 2024

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

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

Gør som tusindvis af andre bogelskere