Detailansicht
Detailansicht
| Europeana |
|---|
| Bundesland: | Österreich | |
|---|
| Titel: | theory of program structures: schemes, semantics, verification | |
|---|
| Autor/Ersteller: | greibach, sheila a. | |
|---|
| Schlagwort: | Formalwissenschaft(EDV) | |
|---|
| Schlagwort: | 001 | |
|---|
| Schlagwort: | knowledge | |
|---|
| Schlagwort: | electronic digital computers -- programming | encodig~: LCSH
|
|---|
| Schlagwort: | recursive programming | encodig~: LCSH
|
|---|
| Schlagwort: | computer programs | encodig~: LCSH
|
|---|
| Beschreibung: | Buch | |
|---|
| Inhaltsverzeichnis: | from the table of contents: introduction; program schemes - basic definitions and concepts; program schemes - basic properties; | |
|---|
| Verleger: | berlin, heidelberg, new york | |
|---|
| Verleger: | springer-verlag | |
|---|
| Verleger: | goos, g. (ed.) ; hartmanis, j. (ed.) | |
|---|
| Datum: | 1975 | |
|---|
| Datum/veröffentlicht: | 1975 | |
|---|
| Objekttyp: | Text | |
|---|
| Umfang: | xv, 389 pp. in various pagings | |
|---|
| Identifikationsnummer: | LIB90354880X | |
|---|
| Identifikationsnummer: | 3-540-07415-5 | Vokabular: ISBN
|
|---|
| Identifikationsnummer: | 7479-A | Vokabular: ISSN
|
|---|
| Ist Teil von: | lecture notes in computer science; 36 | |
|---|
| Ist Teil von: | goos, g. (ed.) ; hartmanis, j. (ed.) | |
|---|
| Ist Version von: | 1. ed. | |
|---|
| Sprache: | englisch | |
|---|
| Information |
|---|
| OAI Archiv: | IHS | |
|---|
| OAI Sammlung: | IHS | |
|---|
| OAI Interne ID: | IHS/LIB90354880X | |
|---|
| OAI Datum: | 2019-05-07T04:11:55Z | |
|---|
| Nicht Veröffentlicht: | true | |
|---|
 co-funded by the European Commission
Copyright © 2007/08 The DISMARC Consortium
No part of this website may be reproduced, in any form, or by any means, without prior written permission
of the DISMARC Consortium.
|
