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 15 von 21
    Datensatz exportieren als...
  • BibTeX
All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic [Elektronische Ressource]
2007
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
All About Maude - A High-Performance Logical Framework : How to Specify, Program and Verify Systems in Rewriting Logic [Elektronische Ressource]
Ort / Verlag
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
Erscheinungsjahr
2007
Sprache
–
Identifikatoren
ISBN: 9783540719991
DOI: 10.1007/978-3-540-71999-1
OCLC-Nummer: 1075380670, 1075380670
Titel-ID: 990018146490106463
Format
–
Schlagworte
Maude, Artificial intelligence, Computer science, Software engineering