MPG.eBooks - Description: Formal Methods in Computer-Aided Design

Read Now

Bibliographic Details
Main Author:	Hunt, Warren A Jr
Other Authors:	Johnson, Steven D
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2000
Series:	Lecture Notes in Computer Science
Subjects:	Artificial Intelligence Computer Hardware Computer Science Engineering Logic Design Artificial Intelligence (incl. Robotics) Logics And Meanings Of Programs Mathematical Logic And Formal Languages Systems And Information Theory In Engineering
Online Access:	http://dx.doi.org/10.1007/3-540-40922-X?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa

Description
Physical Description:	v. digital
ISBN:	9783540412199 978-3-540-41219-9