A Formal Methods List for the Theorist and for the Practitioner - Product Listing

	A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic) by Oxford University Press, USA by Shawn Hedman in Book
	The Universal Computer: The Road from Leibniz to Turing by W. W. Norton & Company by Martin Davis in Book
	A Mathematical Introduction to Logic, Second Edition by Academic Press by Herbert B. Enderton in Book
	Introduction to Discrete Structures (Addison-Wesley series in computer science and information processing) by Addison Wesley Longman Publishing Co by Franco P. Preparata in Book
	A Logical Approach to Discrete Math (Monographs in Computer Science) by Springer by David Gries in Book
	Discrete Mathematics and Its Applications by McGraw-Hill Higher Education by Kenneth H. Rosen in Book
	Concrete Mathematics: A Foundation for Computer Science (2nd Edition) by Addison-Wesley Professional by Ronald L. Graham in Book
	Logic in Computer Science: Modelling and Reasoning about Systems by Cambridge University Press by Michael Huth in Book
	How to Prove It: A Structured Approach by Cambridge University Press by Daniel J. Velleman in Book
	The Science of Programming (Monographs in Computer Science) by Springer by David Gries in Book
	Mathematical Theory of Computation (Mcgraw-Hill Computer Science Series) by Mcgraw-Hill College by Zohar Manna in Book
	Introduction to the Theory of Computation, Second Edition by Course Technology by Michael Sipser in Book
	Introduction to Automata Theory, Languages, and Computation (2nd Edition) by Addison Wesley by John E. Hopcroft in Book
	A Discipline of Programming (Prentice-Hall Series in Automatic Computation) by Prentice Hall, Inc. by E. Dijkstra in Book
	Communicating Sequential Processes (Prentice-Hall International Series in Computer Science) by Prentice Hall by C.A.R. Hoare in Book
	Software Abstractions: Logic, Language, and Analysis by The MIT Press by Daniel Jackson in Book
	Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science) by Prentice Hall by Jim Woodcock in Book
	The Z Notation: A Reference Manual (Prentice-Hall International Series in Computer Science) by Prentice Hall by J. M. Spivey in Book
	The B-Book: Assigning Programs to Meanings by Cambridge University Press by J. R. Abrial created by A. Hoare (Foreword) in Book
	Software Engineering With B (International Computer Science Series) by Addison Wesley Publishing Company by J. B. Wordsworth in Book
	Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Lectures (Lecture Notes in Computer Science) by Springer created by Ana Cavalcanti (Editor) in Book
	Model Checking by The MIT Press by Edmund M. Clarke Jr. in Book
	Systems and Software Verification: Model-Checking Techniques and Tools by Springer by B. Berard created by P. McKenzie (Translator) in Book
	Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control (Lecture Notes in Computer Science) by Springer created by Jean-Raymond Abrial (Editor) in Book
	Teaching and Learning Formal Methods (Library and Information Science) by Morgan Kaufmann created by C. Neville Dean (Editor) in Book