Corina S. Pasareanu: Passende Angebote jetzt bei Weltbild

Formal Aspects of Component Software

0 Sterne

Buch (Kartoniert)

49.22 €

Vorbestellen

Voraussichtlich lieferbar in 3 Tag(en)

Software Engineering and Formal Methods

0 Sterne

Buch (Kartoniert)

85.59 €

Vorbestellen

Voraussichtlich lieferbar in 3 Tag(en)

Theoretical Aspects of Computing - ICTAC 2022

0 Sterne

Buch (Kartoniert)

53.49 €

Vorbestellen

Voraussichtlich lieferbar in 3 Tag(en)

Symbolic Execution and Quantitative Reasoning / Synthesis Lectures on Software Engineering

Corina S. Pasareanu

0 Sterne

eBook (pdf)

26.74 €

Download bestellen

Erschienen am 31.05.2022

sofort als Download lieferbar

Bd. 13572

Theoretical Aspects of Computing - ICTAC 2022 / Lecture Notes in Computer Science Bd.13572

0 Sterne

eBook (pdf)

53.49 €

Download bestellen

Erschienen am 02.10.2022

sofort als Download lieferbar

Bd. 13085

Software Engineering and Formal Methods / Lecture Notes in Computer Science Bd.13085

0 Sterne

eBook (pdf)

85.59 €

Download bestellen

Erschienen am 02.12.2021

sofort als Download lieferbar

Computer Aided Verification

0 Sterne

Buch (Kartoniert)

53.49 €

Vorbestellen

Erschienen am 18.07.2015

Voraussichtlich lieferbar in 3 Tag(en)

Computer Aided Verification

0 Sterne

Buch (Kartoniert)

53.49 €

Vorbestellen

Erschienen am 23.07.2015

Voraussichtlich lieferbar in 3 Tag(en)

Model Checking Software

0 Sterne

Buch (Kartoniert)

53.49 €

Vorbestellen

Erschienen am 19.06.2009

Voraussichtlich lieferbar in 3 Tag(en)

Bd. 9206

Computer Aided Verification / Lecture Notes in Computer Science Bd.9206

0 Sterne

eBook (pdf)

53.49 €

Download bestellen

Erschienen am 15.07.2015

sofort als Download lieferbar

Bd. 9207

Computer Aided Verification / Lecture Notes in Computer Science Bd.9207

0 Sterne

eBook (pdf)

53.49 €

Download bestellen

Erschienen am 13.07.2015

sofort als Download lieferbar

-2%

Bd. 7684

Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.7684

0 Sterne

eBook (pdf)

Statt 49.22 € 22

48.14 €

Download bestellen

Erschienen am 12.01.2013

sofort als Download lieferbar

Bd. 5578

Model Checking Software / Lecture Notes in Computer Science Bd.5578

0 Sterne

eBook (pdf)

53.49 €

Download bestellen

Erschienen am 26.06.2009

sofort als Download lieferbar

Annotierter Kommentar StGB

Omar Abo Youssef, Alex Geiger, Damian K. Graf, Reto Heizmann, Martin Hilti, Markus Husmann, Manuel Inderbitzin, Emanuel Jaggi, Alain Joset, Cathrine Konopatsch, Diego Langenegger, Jonas Achermann, Julia Lüönd, Rahel Manetsch-Imholz, Julian Mausbach, Matthias Michlig, Marco Mignoli, Michael Mráz, Micha Nydegger, Pascal Ronc, Jann Schaub, Nora Scheidegger, Juerg Bloch, Sine Selman, Monika Simmler, Manon Simon, Peter Straub, Patrick Uhrmeister, Luzia Vetterli, Alexandre Vonwil, Daniel S. Weber, Eva Wyler, Mischa Demarmels, Gian Ege, Susanne Ehmann, Roger Feer, Annika E. Flattich, Corina Fuhrer

0 Sterne

eBook (pdf)

364.00 €

Download bestellen

Erschienen am 28.10.2020

sofort als Download lieferbar

Formal Methods

0 Sterne

Buch (Kartoniert)

117.69 €

Vorbestellen

Voraussichtlich lieferbar in 3 Tag(en)

-9%

Bd. 13047

Formal Methods / Lecture Notes in Computer Science Bd.13047

0 Sterne

eBook (pdf)

Statt 117.69 € 22

106.99 €

Download bestellen

Erschienen am 10.11.2021

sofort als Download lieferbar

Ihre Suche nach „Corina S. Pasareanu“ in „Alle Kategorien“