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 25 von 99
    Datensatz exportieren als...
  • BibTeX
Extending Hoare logic with an infinite while-rule
Journal of computer science and technology, 1992, Vol.7 (4), p.363-368
1992

Details

Autor(en) / Beteiligte
Titel
Extending Hoare logic with an infinite while-rule
Ist Teil von
  • Journal of computer science and technology, 1992, Vol.7 (4), p.363-368
Erscheinungsjahr
1992
Link zum Volltext
Quelle
SpringerLINK Contemporary (Konsortium Baden-Württemberg)
Sprache
Englisch
Identifikatoren
ISSN: 1000-9000
eISSN: 1860-4749
DOI: 10.1007/BF02943553
Titel-ID: cdi_crossref_primary_10_1007_BF02943553
Format
–

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX