Automata, Languages and Programming: Semantics and correctness of nondeterministic flowchart programs with recursive procedures : Preliminary report

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Schließen

Merkliste

Medientyp: E-Artikel
Titel: Automata, Languages and Programming: Semantics and correctness of nondeterministic flowchart programs with recursive procedures : Preliminary report : Preliminary report
Beteiligte: Gallier, Jean H.
Erschienen: Springer Berlin Heidelberg, 1978
Erschienen in: Automata, Languages and Programming
Sprache: Nicht zu entscheiden
DOI: 10.1007/3-540-08860-1_19
ISSN: 0302-9743; 1611-3349
Entstehung:
Anmerkungen: