Axiomatising the logic of computer programming
Robert Goldblatt
| Year of publication: |
1982
|
|---|---|
| Authors: | Goldblatt, Robert |
| Publisher: |
Berlin [u.a.] : Springer |
| Subject: | Programmiersprache | Syntax | Semantik |
| Extent: | XI, 304 S. |
|---|---|
| Series: | Lecture notes in computer science. - Berlin ; Heidelberg [u.a.] : Springer, ISSN 0302-9743. - Vol. 130 |
| Type of publication: | Book / Working Paper |
| Language: | English |
| ISBN: | 3-540-11210-3 ; 0-387-11210-3 |
| Source: |
Persistent link: https://ebvufind01.dmz1.zbw.eu/10004210559