Automatic Verification of Pascal programs.
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Zürich
Juris Druck+Verlag
1975
|
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 1173884 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Marmier, Edouard | |
| 245 | 1 | 0 | |a Automatic Verification of Pascal programs. |
| 246 | 3 | |a MARMIER, Edouard: | |
| 264 | 1 | |a Zürich |b Juris Druck+Verlag |c 1975 | |
| 300 | |a V, 139 S. |b m. Abb. |c 8° | ||
| 500 | |a MARMIER, Edouard: -- Automatic Verification of Pascal programs. -- Zürich, Juris Druck+Verlag 1975. -- V, 139 S. m. Abb. 8° -- Zürich, ETH, nat. wiss. Diss. 1975. -- 1976! -- M. | ||
| 852 | |c D 153.862 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: Automatic Verification of Pascal programs. Zürich,Juris Druck+Verlag 1975V,139 S.m.Abb.8Zürich,ETH,nat.wiss.Diss.1975.1976 M. |a signature: D 153.862 |a author: MARMIER, Edouard |a published: 1976 | ||