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...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Software prototyping, formal methods and VDM
International computer science series
1988
Signatur: TWQ4297

Details

Autor(en) / Beteiligte
Titel
Software prototyping, formal methods and VDM
Ist Teil von
  • International computer science series
Ort / Verlag
Wokingham [u.a.] : Addison-Wesley
Erscheinungsjahr
1988
Sprache
–
Identifikatoren
ISBN: 020117572X
OCLC-Nummer: 888995274, 888995274
Titel-ID: 990004962690106463
Format
X, 222 S. : graph. Darst.
Systemstelle
TWQ
Schlagworte
Prototyping

Lade weitere Informationen...