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 5 von 97
    Datensatz exportieren als...
  • BibTeX
Program logics for certified compilers
2014
Signatur: TWS4108

Details

Autor(en) / Beteiligte
Titel
Program logics for certified compilers
Ort / Verlag
New York, NY : Cambridge Univ. Press
Erscheinungsjahr
2014
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 9781107048010
OCLC-Nummer: 891312615, 891312615
Titel-ID: 990018833260106463
Format
X, 458 S.
Systemstelle
TWS
Schlagworte
Programmverifikation, Compiler

Lade weitere Informationen...