Anmelden
Anmelden
Neu anmelden
Passwort vergessen
Kritikatur
- Das Kulturportal
Einkaufen
Startseite
Nutzungsbedingungen
Datenschutz
Praktikum auf Kritikatur
Mitarbeit auf Kritikatur
Nachricht zum Team
Impressum
Was ist Kritikatur?
Häufig gefragt
Literatur
Startseite
Die besten Schriftsteller
Die besten Werke
Frische Autoren
Frische Werke
Literaturpreise
Literaturgenre
Literaturliste
Literaturreihe
Film
Startseite
Die besten Regisseure
Die besten Schauspieler
Frisch auf Kritikatur
Die besten Filme
Genre
Filmpreise
Filmliste
Filmreihe
Hörwerke
Startseite
Frische Hörspiele
Frische Hörbucher
Frische Feature
Musik
Startseite
Frisch auf Kritikatur
Musikgattung
Musiktyp
Musikliste
Orchester
Zitate
Die besten Zitate
Stichworte mit Zitaten
Autoren mit Zitaten
Mehr
Aktuelle Radiosendungen
Spiele
Serien
Nutzerbereich
Expertensuche
Zufallsartikel
Expertensuche
Buch
Symbolic Execution and Quantitative Reasoning
-Applications to Software Safety and Security-
Corina S. Păsăreanu
26,74
EUR
Lieferzeit 12-13 Tage
26,74
EUR
Lieferzeit 12-13 Tage
Bilder
Bildansicht verlassen