Using Z: Specification, Refinement, and Proof (Prentice-hall International...

Prentice-Hall International Series in Computer Science Ser.: Using Z :...

Morphology of the Folktale

Stories in the Time of Cholera: Racial Profiling During a Medical Nightmare

MCSE NT Server 4 Exam Cram, Third Edition (Exam: 70-067)

Charting: An Incredibly Easy! Pocket Guide (Incredibly Easy! Series®)

Dream School: Finding the College That's Right for You

Using Z: Specification, Refinement, and Proof (Prentice-Hall Int