Automatic Verification of Pascal programs.
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | inglés |
| Publicado: |
Zürich
Juris Druck+Verlag
1975
|
| Tags: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
| Order eBook: |
|
| Order Book: | Login to order |
| descrición da copia: | 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. |
|---|---|
| Descrición Física: | V, 139 S. m. Abb. 8° |