1
- Johnsen, Einar Broch - -
52.94 €
Johnsen, Einar Broch - Integrated Formal Methods: 10th International Conference, Ifm 2013, Turku, Finland, June 10-14, 2013, Proceedings (lecture Notes In Computer Science, Band 7940)
MEDIMOPS
Brand: Johnsen, Einar Broch -
EAN:
9783642386121MPN: m03642386121
Kategorie: Bücher & Zeitschriften
Brand : Springer, Binding : Taschenbuch, Edition : 2013, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 460, publicationDate : 2013-05-24, releaseDate : 2013-05-24, publishers : Johnsen, Einar Broch, Luigia Petre, ISBN : 3642386121
Preise vergleichen ab:
Johnsen, Einar Broch - in Bücher & Zeitschriften 2
- Johnsen, Einar Broch - -
52.94 €
Johnsen, Einar Broch - Software Engineering And Formal Methods: 16th International Conference, Sefm 2018, Held As Part Of Staf 2018, Toulouse, France, June 27–29, 2018, ... Notes In Computer Science, Band 10886)
MEDIMOPS
Brand: Johnsen, Einar Broch -
EAN:
9783319929699MPN: m03319929690
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2018, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 320, publicationDate : 2018-05-30, releaseDate : 2018-05-30, publishers : Johnsen, Einar Broch, Ina Schaefer, ISBN : 3319929690
Preise vergleichen ab:
Johnsen, Einar Broch - in Bücher & Zeitschriften 3
- Johnsen, Einar Broch - -
42.79 €
Johnsen, Einar Broch - Fundamental Approaches To Software Engineering: 25th International Conference, Fase 2022, Held As Part Of The European Joint Conferences On Theory And ... Notes In Computer Science, Band 13241)
MEDIMOPS
Brand: Johnsen, Einar Broch -
EAN:
9783030994280MPN: m03030994287
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 364, publicationDate : 2022-03-29, releaseDate : 2022-03-29, publishers : Johnsen, Einar Broch, Manuel Wimmer, ISBN : 3030994287
Preise vergleichen ab:
Johnsen, Einar Broch - in Bücher & Zeitschriften 4
- Wolfgang Ahrendt - -
106.99 €
Wolfgang Ahrendt - The Logic Of Software. A Tasting Menu Of Formal Methods: Essays Dedicated To Reiner Hähnle On The Occasion Of His 60th Birthday (lecture Notes In Computer Science, 13360)
MEDIMOPS
Brand: Wolfgang Ahrendt -
EAN:
9783031081651MPN: m0303108165x
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2022, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 533, publicationDate : 2022-06-16, releaseDate : 2022-06-16, publishers : Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Johnsen, Einar Broch, ISBN : 303108165X
Preise vergleichen ab:
Wolfgang Ahrendt - in Bücher & Zeitschriften 5
- Frank De Boer - -
70.04 €
Frank De Boer - Active Object Languages: Current Research Trends (lecture Notes In Computer Science, 14360, Band 14360)
MEDIMOPS
Brand: Frank De Boer -
EAN:
9783031510595MPN: m03031510593
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 1st ed. 2024, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 385, publicationDate : 2024-01-29, releaseDate : 2024-01-29, publishers : Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Johnsen, Einar Broch, Eduard Kamburjan, ISBN : 3031510593
Preise vergleichen ab:
Frank De Boer - in Bücher & Zeitschriften 6
- Marco Bernardo - -
51.14 €
Marco Bernardo - Formal Methods For Multicore Programming: 15th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... Lectures (lecture Notes In Computer Science)
MEDIMOPS
Brand: Marco Bernardo -
EAN:
9783319189406MPN: m03319189409
Kategorie: Bücher & Zeitschriften
Binding : Taschenbuch, Edition : 2015, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 220, publicationDate : 2015-05-19, releaseDate : 2015-05-19, publishers : Marco Bernardo, Johnsen, Einar Broch, languages : english, ISBN : 3319189409
Preise vergleichen ab:
Marco Bernardo - in Bücher & Zeitschriften