Zur Ergebnisliste
Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
    Datensatz exportieren als...
  • BibTeX
Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Informatik-Fachberichte : 197 (Alle Bände)
1989
Signatur: TVG1261

Details

Autor(en) / Beteiligte
Titel
Petri-Netz-Methoden und -Werkzeuge : Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen
Ist Teil von
Ort / Verlag
Berlin [u.a.] : Springer
Erscheinungsjahr
1989
Sprache
Deutsch
Identifikatoren
ISBN: 354050642X, 038750642X
OCLC-Nummer: 311207191, 311207191
Titel-ID: 990004892210106463
Format
XII, 254 S. : graph. Darst.
Systemstelle
TVG
Schlagworte
Petri-Netz, Softwarespezifikation, Softwarewerkzeug

Lade weitere Informationen...