1
- Deshmukh, Jyotirmoy V. - -
139.09 €
Deshmukh, Jyotirmoy V. - Nasa Formal Methods: 14th International Symposium, Nfm 2022, Pasadena, Ca, Usa, May 24–27, 2022, Proceedings (lecture Notes In Computer Science, 13260, Band 13260)
MEDIMOPS
Brand: Deshmukh, Jyotirmoy V. -
EAN:
9783031067723MPN: m0303106772x
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 850, publicationDate : 2022-05-20, releaseDate : 2022-05-20, publishers : Deshmukh, Jyotirmoy V., Klaus Havelund, Ivan Perez, ISBN : 303106772X
Preise vergleichen ab:
Deshmukh, Jyotirmoy V. - in Bücher & Zeitschriften 2
- Klaus Havelund - -
96.29 €
Klaus Havelund - Formal Methods: 22nd International Symposium, Fm 2018, Held As Part Of The Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-17, 2018, ... Notes In Computer Science, Band 10951)
MEDIMOPS
Brand: Klaus Havelund -
EAN:
9783319955810MPN: m03319955810
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 708, publicationDate : 2018-07-12, releaseDate : 2018-07-12, publishers : Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink, ISBN : 3319955810
Preise vergleichen ab:
Klaus Havelund - in Bücher & Zeitschriften 3
- Ezio Bartocci - -
57.94 €
Ezio Bartocci - Formal Methods In Outer Space: Essays Dedicated To Klaus Havelund On The Occasion Of His 65th Birthday (lecture Notes In Computer Science, Band 13065)
MEDIMOPS
Brand: Ezio Bartocci -
EAN:
9783030873479MPN: m03030873471
Kategorie: Bücher & Zeitschriften
Brand : MOXIC, Binding : Taschenbuch, Edition : 1st ed. 2021, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 208, publicationDate : 2021-09-28, releaseDate : 2021-09-28, publishers : Ezio Bartocci, Yliès Falcone, Martin Leucker, ISBN : 3030873471
Preise vergleichen ab:
Ezio Bartocci - in Bücher & Zeitschriften 4
- Klaus Havelund - -
53.24 €
Klaus Havelund - Formal Approaches To Software Testing And Runtime Verification: First Combined International Workshops Fates 2006 And Rv 2006, Seattle, Wa, Usa, ... Notes In Computer Science, 4262, Band 4262)
MEDIMOPS
Brand: Klaus Havelund -
EAN:
9783540496991MPN: m03540496998
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2006, Label : Springer, Publisher : Springer, Format : Illustriert, medium : Taschenbuch, numberOfPages : 272, publicationDate : 2007-01-19, releaseDate : 2007-02-03, publishers : Klaus Havelund, ISBN : 3540496998
Preise vergleichen ab:
Klaus Havelund - in Bücher & Zeitschriften 5
- Klaus Havelund - -
52.94 €
Klaus Havelund - Nasa Formal Methods: 7th International Symposium, Nfm 2015, Pasadena, Ca, Usa, April 27-29, 2015, Proceedings (lecture Notes In Computer Science)
MEDIMOPS
Brand: Klaus Havelund -
EAN:
9783319175232MPN: m03319175238
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 472, publicationDate : 2015-04-09, releaseDate : 2015-04-09, publishers : Klaus Havelund, Gerard Holzmann, Rajeev Joshi, languages : english, ISBN : 3319175238
Preise vergleichen ab:
Klaus Havelund - in Bücher & Zeitschriften