Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Bitte beachten Sie unsere geänderten Servicezeiten ab dem 1. November 2024.

Ergebnis der Suche nach: nid=1146394322

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/gnd/1146394322
Person	Zuck, Lenore D.
Zeit	Lebensdaten: 1958-
Land	Sonstiges Ausland, Unbekanntes Land (ZZ)
Typ	Person (piz)
Beteiligt an	2 Publikationen Verification, model checking, and abstract interpretation Berlin : Springer, 2003 Verification, model checking, and abstract interpretation Berlin : Springer, 2002

Treffer 1 von 1

Korrekturanfrage