Following the sucess of the first edition, the authors have updated and revised this bestselling textbook to take into account the changes in the subject over the past 5 years.

Introduction to Formal Specification and Z

Computers & Technology

Potter, Ben

Sinclair, Jane

Till, David

Programming Languages

PRENTICE/HALL

Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.

Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)

Programming

Principles of Functional Programming

Hankin, Chris

Glaser, Hugh

Teach Yourself Perl 5 in 21 Days, Second Edition is the ideal book for beginning - and intermediate - level users who want to gain a solid understanding of this programming language. Using step-by-step tutorials and the easy-to-follow approach, you can Teach yourself Perl 5 in 21 Days! Through various teaching elements, you'll learn everything you need to know about this popular programming language. You'll discover how to manipulate text, generate reports, and perform system tasks. Through practical, hands-on instructions, logically organized lessons, and helpful Q &amp; A sections, you'll master Perl functions and concepts and be developing robust programs in no time. Plus, Do/Don't boxes show you how to avoid potential programming pitfalls, illustrations explain constructs such as associative arrays, and tables serve as handy references.

Teach Yourself Perl 5 in 21 Days

Operating Systems

Sams.

Perl, a powerful programming language in the UNIX arena, can be used for manipulating text, generating reports, and performing system tasks. Assuming no prior programming knowledge, this easy-to-use guide shows readers how to use this language to develop dynamic user interfaces into Windows NT databases-in no time.

Sams Teach Yourself Perl 5 for Windows NT in 21 Days

Zhang, Tony

Web Development & Design

Poetry. "David Till has produced in OVAL a collection that encompasses the full circle of experience.... The 58 poems take a wide range of forms and lengths, including everything from the expressionistic, fragmentary ABOUT TROUT (`...Go stardust / One goes off hot inside / yr dream hand'), to the joyous occasional piece TWO POEMS FOR THEIR WEDDING: (`I could say: dogwood are like moonlight, / or like wedding gowns in the dark church; / but to me, / they are cold banks of snow in the mountains...' The disparate quality of the poems is offset by Till's consistently gentle, grounded sensibility....")--Maria Browning, THE NASHVILLE SCENE. Whether Till is imagining the bitter heart of a bruised apple ("a quarter note alone / at the lake's edge"), or writing of the loneliness of time's passing ("home / where everything you see shines with absence / where you weep for your father's eyes, the starry / nights of love, your son's blond hair"), he presents the life he has seen and lived in a plain-spoken vocabulary and with an unaffected voice. This collection sings with a quiet enthusiasm for the natural world. David Till is emeritus professor of English at Austin Peay State University, where he has taught poetry and literature since 1971.

Oval

Literature & Fiction

Poetry

Zone 3 Press

See the best price to sell, buy, or rent books by Till, David. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Till, David