Eintrag weiter verarbeiten
Lecture Notes in Computer Science: From specifications to programs: Induction in the service of synthesis
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Lecture Notes in Computer Science: From specifications to programs: Induction in the service of synthesis |
In: | Lecture Notes in Computer Science, 1994, S. 6-7 |
veröffentlicht: |
Springer Berlin Heidelberg
|
Umfang: | 6-7 |
ISSN: |
1611-3349 0302-9743 |
DOI: | 10.1007/3-540-58520-6_48 |
Format: | E-Book-Kapitel |
Quelle: | Springer Berlin Heidelberg (CrossRef) |
Sprache: | Unbestimmt |