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 2
    Datensatz exportieren als...
  • BibTeX
Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Theoretical Computer Science and General Issues : 11885
1st ed. 2019, 2019

Details

Autor(en) / Beteiligte
Titel
Unifying Theories of Programming : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Ist Teil von
  • Theoretical Computer Science and General Issues : 11885
Auflage
1st ed. 2019
Ort / Verlag
Cham : Springer International Publishing
Erscheinungsjahr
2019
Link zum Volltext
Sprache
Englisch
Identifikatoren
ISBN: 9783030310387
DOI: 10.1007/978-3-030-31038-7
Titel-ID: 990364062190206441
Format
1 Online-Ressource (XIV, 217 p. 932 illus., 30 illus. in color)
Schlagworte
Programmierung, Unifikationstheorie, Logic design, Computer science, Software engineering, Computer network architectures