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 10 von 29
    Datensatz exportieren als...
  • BibTeX
Extracting a data flow analyser in constructive logic
Lecture notes in computer science, 2004, p.385-400
2004
Volltextzugriff (PDF)

Details

Autor(en) / Beteiligte
Titel
Extracting a data flow analyser in constructive logic
Ist Teil von
  • Lecture notes in computer science, 2004, p.385-400
Ort / Verlag
Berlin: Springer
Erscheinungsjahr
2004
Quelle
Alma/SFX Local Collection
Sprache
Englisch
Identifikatoren
ISBN: 3540213139, 9783540213130
ISSN: 0302-9743
eISSN: 1611-3349
Titel-ID: cdi_pascalfrancis_primary_15670322
Format
–
Schlagworte
Applied sciences, Computer science, control theory, systems, Exact sciences and technology, Software

Weiterführende Literatur

Empfehlungen zum selben Thema automatisch vorgeschlagen von bX