Specifying Software: A Hands-On Introduction by Tennent, R. D.

Specifying Software: A Hands-On Introduction By R. D. Tennent

Specifying Software: A Hands-On Introd... by Tennent, R. D. Paperback / softback

Specifying Systems: The TLA+ Language and Tools for Hardware and Software En...

Specifying Software: A Hands-On Introduction by R D Tennent: Used

33 1/3 Ser.: Slint's Spiderland by Scott Tennent (2010, Trade Paperback)

Specifying Buildings: A - Paperback, by Emmitt Stephen; Yeomans - Very Good