1
- Ter Beek, Maurice H. - -
53.49 €
Ter Beek, Maurice H. - Formal Methods For Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2–3, 2020, Proceedings (lecture Notes In Computer Science, Band 12327)
MEDIMOPS
Brand: Ter Beek, Maurice H. -
EAN:
9783030582975MPN: m03030582973
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2020, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 316, publicationDate : 2020-08-29, releaseDate : 2020-08-29, publishers : ter Beek, Maurice H., Dejan Ničković, ISBN : 3030582973
Preise vergleichen ab:
Ter Beek, Maurice H. - in Bücher & Zeitschriften 2
- Ter Beek, Maurice H. - -
53.49 €
Ter Beek, Maurice H. - Critical Systems: Formal Methods And Automated Verification: Joint 21st International Workshop On Formal Methods For Industrial Critical Systems And ... (lecture Notes In Computer Science)
MEDIMOPS
Brand: Ter Beek, Maurice H. -
EAN:
9783319459424MPN: m03319459422
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2016, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 264, publicationDate : 2016-09-14, releaseDate : 2016-09-14, publishers : ter Beek, Maurice H., languages : english, ISBN : 3319459422
Preise vergleichen ab:
Ter Beek, Maurice H. - in Bücher & Zeitschriften 3
- Ter Beek, Maurice H. - -
52.94 €
Ter Beek, Maurice H. - From Software Engineering To Formal Methods And Tools, And Back: Essays Dedicated To Stefania Gnesi On The Occasion Of Her 65th Birthday (lecture Notes In Computer Science, Band 11865)
MEDIMOPS
Brand: Ter Beek, Maurice H. -
EAN:
9783030309848MPN: m03030309843
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 588, publicationDate : 2019-09-14, releaseDate : 2019-09-14, publishers : ter Beek, Maurice H., Alessandro Fantechi, Laura Semini, ISBN : 3030309843
Preise vergleichen ab:
Ter Beek, Maurice H. - in Bücher & Zeitschriften 4
- Ter Beek, Maurice H. - -
52.94 €
Ter Beek, Maurice H. - Formal Methods – The Next 30 Years: Third World Congress, Fm 2019, Porto, Portugal, October 7–11, 2019, Proceedings (lecture Notes In Computer Science, Band 11800)
MEDIMOPS
Brand: Ter Beek, Maurice H. -
EAN:
9783030309411MPN: m0303030941x
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 1st ed. 2019, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 796, publicationDate : 2019-09-15, releaseDate : 2019-09-15, publishers : ter Beek, Maurice H., Annabelle McIver, Oliveira, José N., ISBN : 303030941X
Preise vergleichen ab:
Ter Beek, Maurice H. - in Bücher & Zeitschriften