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 2 von 4
    Datensatz exportieren als...
  • BibTeX
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday [Elektronische Ressource]
2012
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer Berlin Heidelberg
Erscheinungsjahr
2012
Sprache
Englisch
Identifikatoren
ISBN: 9783642294853
DOI: 10.1007/978-3-642-29485-3
OCLC-Nummer: 1075450378, 1075450378
Titel-ID: 990191286280206441
Format
–
Schlagworte
Programmierlogik, Programmanalyse, Programmiersprache, Mathematische Methode, Algorithmus, Kleene-Algebra, Koalgebra, Mathematische Logik, Komplexitätstheorie, Computer science, Software engineering, Computer software, Logic design