Computer-Aided Reasoning : An Approach /

Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mat...

Full description

Bibliographic Details

Main Author:	Kaufmann, Matt
Corporate Author:	SpringerLink (Online service)
Other Authors:	Manolios, Panagiotis, Moore, J. Strother
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2000.
Series:	Advances in formal methods ; 3.
Subjects:	Computer science. Software engineering. Electronic data processing. Electronic books.
Online Access:	Connect to the full text of this electronic book