Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: nid=172577691



Treffer 1 von 1 < < > <



Personen
Link zu diesem Datensatz https://d-nb.info/gnd/172577691
Person Merz, Stephan
Akademischer Grad Dipl.-Inf.
Andere Namen Merz, Stephan Andreas Norbert
Merz, Stephan A.
Zeit Lebensdaten: 1963-
Land Deutschland (XA-DE); Frankreich (XA-FR)
Beruf(e) Informatiker
Typ Person (piz)
Autor von 1 Publikation
  1. Temporal logic as a programming language
    Merz, Stephan, 1992
Beteiligt an 3 Publikationen
  1. Modeling and Verification of Real-time Systems
    New York, NY : John Wiley & Sons, 2013, 1., Auflage
  2. Modeling and Verification of Real-time Systems
    New York, NY : John Wiley & Sons, 2010, 1., Auflage
  3. ...





Treffer 1 von 1
< < > <


E-Mail-IconAdministration