5€¹ Rabatt bei Bestellungen per App

Menü
Alle
Direkt bestellen
Wunschlisten
Warenkorb

Ihre Suche nach „Corina S. Pasareanu“

 
 
 
 
Mehr Filter Filter
Filter
17 Artikel
Formal Aspects of Component Software

Formal Aspects of Component Software

0 Sterne
Buch (Kartoniert)

50.60 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Theoretical Aspects of Computing - ICTAC 2022

Theoretical Aspects of Computing - ICTAC 2022

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Software Engineering and Formal Methods

Software Engineering and Formal Methods

0 Sterne
Buch (Kartoniert)

87.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Symbolic Execution and Quantitative Reasoning / Synthesis Lectures on Software Engineering

Symbolic Execution and Quantitative Reasoning / Synthesis Lectures on Software Engineering

Corina S. Pasareanu

0 Sterne
eBook (pdf)

27.49 €

Download bestellen
Erschienen am 31.05.2022
sofort als Download lieferbar
Theoretical Aspects of Computing - ICTAC 2022 / Lecture Notes in Computer Science Bd.13572
Bd. 13572

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

0 Sterne
eBook (pdf)

54.99 €

Download bestellen
Erschienen am 02.10.2022
sofort als Download lieferbar
Software Engineering and Formal Methods / Lecture Notes in Computer Science Bd.13085
Bd. 13085

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

0 Sterne
eBook (pdf)

87.99 €

Download bestellen
Erschienen am 02.12.2021
sofort als Download lieferbar
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 18.07.2015
Voraussichtlich lieferbar in 3 Tag(en)
Computer Aided Verification

Computer Aided Verification

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 23.07.2015
Voraussichtlich lieferbar in 3 Tag(en)
Model Checking Software

Model Checking Software

0 Sterne
Buch (Kartoniert)

54.99 €

Vorbestellen
Erschienen am 19.06.2009
Voraussichtlich lieferbar in 3 Tag(en)
Computer Aided Verification / Lecture Notes in Computer Science Bd.9206
Bd. 9206

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

0 Sterne
eBook (pdf)

54.99 €

Download bestellen
Erschienen am 15.07.2015
sofort als Download lieferbar
Computer Aided Verification / Lecture Notes in Computer Science Bd.9207
Bd. 9207

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

0 Sterne
eBook (pdf)

54.99 €

Download bestellen
Erschienen am 13.07.2015
sofort als Download lieferbar
Formal Aspects of Component Software / Lecture Notes in Computer Science Bd.7684
Bd. 7684

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

0 Sterne
eBook (pdf)

Statt 50.60 € 22

49.49 €

Download bestellen
Erschienen am 12.01.2013
sofort als Download lieferbar
Model Checking Software / Lecture Notes in Computer Science Bd.5578
Bd. 5578

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

0 Sterne
eBook (pdf)

54.99 €

Download bestellen
Erschienen am 26.06.2009
sofort als Download lieferbar
Mit 50 ist alles anders

Mit 50 ist alles anders

Gabriele Grausgruber, Christa Wagner, Sabine Reifenstahl, Olivia Stahlenburg, Karina Marina Baumann, Kerstin Cimbal-Marocke, S. M. Syrch, Melissa May, Lea Samuel, Jutta Schönberg, Uta Benefeld-Süß, Mirjana Moser, Christiane Bienemann, Vera C. Koin, Inge Wuthe, Katharina Triebe, Isabella Maria Kern, Helga Maria Davy, Corina Wadle, Eleonore Zorn, Serena Popp, Andrea Heming, Anja Raab, Peggy Patzschke, Bettina Sostmann, Kristin Fieseler, Silvia Zibulla, Manuela Ulrich, Martina Stransky, Petra Jonas, Marion Philipp, Birgit Kretzschmar, Marie B., Susanne Rzymbowski, Judith Haunold, Maria Rube, Rafaela Bureta, Karsten Beuchert

0 Sterne
Buch (Kartoniert)

15.40 €

Dekorierter Weihnachtsbaum
In den Warenkorb
Erschienen am 01.02.2021
lieferbar
Annotierter Kommentar StGB

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)

374.30 €

Download bestellen
Erschienen am 28.10.2020
sofort als Download lieferbar
Formal Methods

Formal Methods

0 Sterne
Buch (Kartoniert)

120.99 €

Vorbestellen
Voraussichtlich lieferbar in 3 Tag(en)
Formal Methods / Lecture Notes in Computer Science Bd.13047
Bd. 13047

Formal Methods / Lecture Notes in Computer Science Bd.13047

0 Sterne
eBook (pdf)

Statt 120.99 € 22

109.99 €

Download bestellen
Erschienen am 10.11.2021
sofort als Download lieferbar