Critical Systems: Formal Methods and Automated Verification
4 Angebote vergleichen

Bester Preis: 2,07 (vom 13.03.2019)
1
9783319459431 - Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification (2016)

Lieferung erfolgt aus/von: Deutschland DE PB NW

ISBN: 9783319459431 bzw. 3319459430, in Deutsch, Springer International Publishing, Taschenbuch, neu.

50,99 + Versand: 7,50 = 58,49
unverbindlich
Critical Systems: Formal Methods and Automated Verification ab 50.99 € als pdf eBook: 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. Aus dem Bereich: eBooks, Sachthemen & Ratgeber, Computer & Internet,.
2
9783319459431 - Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification (2016)

Lieferung erfolgt aus/von: Deutschland DE NW EB DL

ISBN: 9783319459431 bzw. 3319459430, in Deutsch, neu, E-Book, elektronischer Download.

Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
3
9783319459431 - Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp: Critical Systems: Formal Methods and Automated Verification
Maurice H. ter Beek; Stefania Gnesi; Alexander Knapp

Critical Systems: Formal Methods and Automated Verification (2016)

Lieferung erfolgt aus/von: Japan DE NW EB DL

ISBN: 9783319459431 bzw. 3319459430, in Deutsch, Springer Shop, neu, E-Book, elektronischer Download.

44,83 (¥ 5.616)¹
unverbindlich
Lieferung aus: Japan, Lagernd, zzgl. Versandkosten.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
9783319459431 - Alexander Knapp, Maurice H. ter Beek, Stefania Gnesi: Critical Systems: Formal Methods and Automated Verification
Alexander Knapp, Maurice H. ter Beek, Stefania Gnesi

Critical Systems: Formal Methods and Automated Verification (2016)

Lieferung erfolgt aus/von: Vereinigtes Königreich Großbritannien und Nordirland DE NW EB DL

ISBN: 9783319459431 bzw. 3319459430, in Deutsch, Springer, Springer, Springer, neu, E-Book, elektronischer Download.

37,35 (£ 32,39)¹
versandkostenfrei, unverbindlich
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, in-stock.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…