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
Nets, terms and formulas : three views of concurrent processes and their relationship
Cambridge tracts in theoretical computer science : 23 (Alle Bände)
1991
Signatur: TVG1368
    Datensatz exportieren als...
  • BibTeX
Real-time systems : formal specification and automatic verification
2008
Signatur: TWT6511
    Datensatz exportieren als...
  • BibTeX
Correct System Design : Recent Insights and Advances [Elektronische Ressource]
1999
    Datensatz exportieren als...
  • BibTeX
Verification of sequential and concurrent programs
Graduate texts in computer science
2. ed, 1997
Signatur: TVM2568(2)
    Datensatz exportieren als...
  • BibTeX
Programmverifikation : Sequentielle, parallele und verteilte Programme [electronic resource]
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
Programmverifikation : Sequentielle, parallele und verteilte Programme
Springer-Lehrbuch
1st ed. 1994, 1994
    Datensatz exportieren als...
  • BibTeX
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday
Theoretical Computer Science and General Issues : 13030
1st ed. 2021, 2021
    Datensatz exportieren als...
  • BibTeX
Provably Correct Systems [electronic resource]
1st ed. 2017, 2017
    Datensatz exportieren als...
  • BibTeX
Provably Correct Systems
NASA Monographs in Systems and Software Engineering
2017
    Datensatz exportieren als...
  • BibTeX
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings [electronic resource]
1st ed. 2002, 2002
    Datensatz exportieren als...
  • BibTeX
Verification of Sequential and Concurrent Programs [Elektronische Ressource]
Texts in Computer Science
2009
    Datensatz exportieren als...
  • BibTeX
Verification of Sequential and Concurrent Programs [electronic resource]
3rd ed. 2009, 2009
    Datensatz exportieren als...
  • BibTeX
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings [Elektronische Ressource]
2002
1 – 13 von 13
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen