Programs and machines : an introd. to the theory of computation
| Year of publication: |
1976
|
|---|---|
| Authors: | Bird, Richard |
| Publisher: |
London [u.a.] : Wiley |
| Subject: | Programmverifikation | Berechenbarkeit | Mathematische Logik |
| Extent: | X, 214 S. : Ill. |
|---|---|
| Series: | |
| Type of publication: | Book / Working Paper |
| ISBN: | 0-471-01650-0 |
| Source: |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10003999332