%0 Book %1 books/daglib/0067017 %A Backhouse, Roland Carl %B PHI Series in computer science %D 1986 %I Prentice Hall %K dblp %P I-XI, 1-281 %T Program construction and verification. %@ 978-0-13-729146-5

@book{books/daglib/0067017, added-at = {2011-04-08T00:00:00.000+0200}, author = {Backhouse, Roland Carl}, biburl = {https://www.bibsonomy.org/bibtex/250a198ae570452b42187603248a3dbaf/dblp}, interhash = {fb66faad482087deea5f236b88a04229}, intrahash = {50a198ae570452b42187603248a3dbaf}, isbn = {978-0-13-729146-5}, keywords = {dblp}, pages = {I-XI, 1-281}, publisher = {Prentice Hall}, series = {PHI Series in computer science}, timestamp = {2011-04-29T15:26:30.000+0200}, title = {Program construction and verification.}, year = 1986 }