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...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Transitions and trees : an introduction to structural operational semantics
2010
Signatur: TVM4683
    Datensatz exportieren als...
  • BibTeX
Semantics with applications : a formal introduction
Wiley professional computing
1992
Signatur: TVM2754
    Datensatz exportieren als...
  • BibTeX
The formal semantics of programming languages : an introduction
Foundations of computing
1993
Signatur: TXL1793
    Datensatz exportieren als...
  • BibTeX
Petri net algebra
Monographs in theoretical computer science
2001
Signatur: TVG1546
    Datensatz exportieren als...
  • BibTeX
Analysis and Correctness of Algebraic Graph and Model Transformations [Elektronische Ressource]
2011
    Datensatz exportieren als...
  • BibTeX
Semantics of Probabilistic Processes : An Operational Approach [Elektronische Ressource]
2014
    Datensatz exportieren als...
  • BibTeX
Domain Modeling and the Duration Calculus : International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Operational Semantics : A Concise Overview [Elektronische Ressource]
Undergraduate Topics in Computer Science
2014
1 – 8 von 8
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen