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
Ergebnis 1 von 1
    Datensatz exportieren als...
  • BibTeX
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl [Elektronische Ressource]
2004
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
From Object-Orientation to Formal Methods : Essays in Memory of Ole-Johan Dahl [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin/Heidelberg
Erscheinungsjahr
2004
Sprache
Englisch
Identifikatoren
ISBN: 9783540399933
OCLC-Nummer: 1075977964, 1075977964
Titel-ID: 990013812790106463
Format
–
Schlagworte
Softwareentwicklung, Objektorientierung, Formale Methode, SIMULA, Dahl, Ole-Johan, Computer science, Software engineering, Logic design