Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=115396640



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/115396640
Name Grumberg, Orna
Andere Namen Grumberg, O.
Beteiligt an 10 Publikationen
  1. Automated circular assume-guarantee reasoning
    In: Formal aspects of computing 4.10.2017: 1-25
  2. Languages: From Formal to Natural
    Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration