%0 Book %1 books/daglib/0072138 %A Ford, Neville J. %A Ford, Judith M. %B Ellis Horwood series in computers and their applications %D 1993 %I Ellis Horwood %K dblp %P I-IX, 1-226 %T Introducing formal methods - a less mathematical approach. %@ 978-0-13-484320-9

@book{books/daglib/0072138, added-at = {2011-04-29T00:00:00.000+0200}, author = {Ford, Neville J. and Ford, Judith M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/259396e948225cc16f13f412a4eca916f/dblp}, interhash = {b1089b214e79f0b45dc3c0a09bd6cacf}, intrahash = {59396e948225cc16f13f412a4eca916f}, isbn = {978-0-13-484320-9}, keywords = {dblp}, pages = {I-IX, 1-226}, publisher = {Ellis Horwood}, series = {Ellis Horwood series in computers and their applications}, timestamp = {2016-02-02T10:46:27.000+0100}, title = {Introducing formal methods - a less mathematical approach.}, year = 1993 }