Selected Books
- Bowen, J.P., editor, Towards Verified Systems. Elsevier Science, Real-Time Safety Critical Systems series, volume 2, 1994. ISBN 0-444-89901-4.
- Hinchey, M.G. and Bowen, J.P., editors, Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1.
- Bowen, J.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing, 1996. ISBN 1-85032-230-9.
- Bowen, J.P. and Hinchey, M.G., editors, High-Integrity System Specification and Design. Springer-Verlag, London, FACIT series, 1999. ISBN 3-540-76226-4.
- Hinchey, M.G. and Bowen, J.P., editors, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London, FACIT series, 1999. ISBN 1-85233-640-4.
- Hierons, R., Bowen, J.P., and Harman, M., editors, Formal Methods and Testing. Springer-Verlag, LNCS, Volume 4949, 2008. ISBN 978-3-540-78916-1.
- Börger, E., Butler, M., Bowen, J.P., and Boca, P., editors, Abstract State Machines, B and Z. Springer-Verlag, LNCS, Volume 5238, 2008. ISBN 978-3-540-87602-1.
- Boca, P.P., Bowen, J.P., and Siddiqi, J.I., editors, Formal Methods: State of the Art and New Directions. Springer, 2010. ISBN 978-1-84882-735-6, e-ISBN 978-1-84882-736-3, doi:10.1007/978-1-84882-736-3.
Read more about this topic: Jonathan Bowen
Famous quotes containing the words selected and/or books:
“She was so overcome by the splendor of his achievement that she took him into the closet and selected a choice apple and delivered it to him, along with an improving lecture upon the added value and flavor a treat took to itself when it came without sin through virtuous effort. And while she closed with a Scriptural flourish, he “hooked” a doughnut.”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“PLAYING SHOULD BE FUN! In our great eagerness to teach our children we studiously look for “educational” toys, games with built-in lessons, books with a “message.” Often these “tools” are less interesting and stimulating than the child’s natural curiosity and playfulness. Play is by its very nature educational. And it should be pleasurable. When the fun goes out of play, most often so does the learning.”
—Joanne E. Oppenheim (20th century)