Critical Systems: Formal Methods and Automated Verification - Bog

- Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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
778,95 kr.

Sprog:
Engelsk

ISBN:
9783319459424

Forlag:
Springer International Publishing AG

Indbinding:
Paperback

Sideantal:
247

Udgivet:
14. september 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.

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