| 1 |
Logic for applications / Anil Nerode, Richard A. Shore
: us,: gw. - New York : Springer-Verlag , c1993
|
| 2 |
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
: gw - : u.s. : soft : student ed. - Berlin ; New York : Springer-Verlag , c1990
|
| 3 |
Beauty is our business : a birthday salute to Edsger W. Dijkstra / edited by W.H.J. Feijen ... [et al.]
: us,: gw. - New York : Springer-Verlag , c1990
|
| 4 |
The design and analysis of algorithms / Dexter C. Kozen
: us,: gw. - New York : Springer-Verlag , c1992
|
