An Introduction to Practical Formal Methods Using Temporal Logic
Book by Michael Fisher
Enridged
Book by Brian Richards
Requirements Engineering: Foundation for Software Quality: 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings
Book
Nutrition Concepts Online for Grodner: . . .
Book by STACI NIX, Sara Oldroyd, and Staci McIntosh
Grounding Human Rights in a Pluralist World
Book by Grace Y. Kao
Plastiki: Across the Pacific on Plastic: An Adventure to Save Our Oceans