Katalog der Deutschen Nationalbibliothek

 

Ergebnis der Suche nach: nid=1127121383



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz http://d-nb.info/gnd/1127121383
Name Herranz, Ángel
Beteiligt an 1 Publikation
  1. Synthesis of verifiable concurrent Java components from formal models
    In: Software and systems modeling 13.2.2017: 1-35





Treffer 1 von 1
< < > <


E-Mail-IconAdministration