%0 Book %1 books/daglib/0067387 %A Dijkstra, Edsger W. %A Scholten, Carel S. %B Texts and Monographs in Computer Science %D 1990 %I Springer %K dblp %P I-X, 1-220 %T Predicate Calculus and Program Semantics. %@ 978-1-4612-3228-5

@book{books/daglib/0067387, added-at = {2015-01-12T00:00:00.000+0100}, author = {Dijkstra, Edsger W. and Scholten, Carel S.}, biburl = {https://www.bibsonomy.org/bibtex/290c0bee6ab03764ae7473dc3d5dbff0e/dblp}, ee = {http://dx.doi.org/10.1007/978-1-4612-3228-5}, interhash = {ab7f203610fb09bc81189a8ddb9a5a3e}, intrahash = {90c0bee6ab03764ae7473dc3d5dbff0e}, isbn = {978-1-4612-3228-5}, keywords = {dblp}, pages = {I-X, 1-220}, publisher = {Springer}, series = {Texts and Monographs in Computer Science}, timestamp = {2015-06-18T09:49:18.000+0200}, title = {Predicate Calculus and Program Semantics.}, year = 1990 }