Trefferliste "Andrey Rybalchenko" - alle Bücher

Ihre Suche nach "Andrey Rybalchenko" (Bücher) ergab 1 Treffer.

On the Pursuit of Insight and Elegance

Lecture Notes in Computer Science - Band 14765

Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern