(Paperback)
By: Robert P. Kurshan
ISBN: 9780691606057
Readership/Audience: Tertiary Education
Publication Date: Sep 2014
Publisher: Princeton University Press
See more...
Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo
(Paperback)
By: Christodoulos A. Floudas
ISBN: 9780691602370
Readership/Audience: Tertiary Education
Publication Date: Sep 2014
Publisher: Princeton University Press
See more...
(Hardback)
By: Christodoulos A. Floudas
ISBN: 9780691631875
Readership/Audience: Tertiary Education
Publication Date: Jun 2016
Publisher: Princeton University Press
See more...
(Paperback)
By: Patrice Boizumault
ISBN: 9780691609393
Readership/Audience: Tertiary Education
Publication Date: Sep 2014
Publisher: Princeton University Press
See more...
A semantically well-defined programming language widely used in artificial intelligence, Prolog has greatly influenced other programming languages since its introduction in the late 1970s. A user may find Prolog deceptively easy, however, and there are a number of different implementations. In this book Patrice Boizumault draws from his extensive e
(Hardback)
By: Patrice Boizumault
ISBN: 9780691637709
Readership/Audience: Tertiary Education
Publication Date: Jun 2016
Publisher: Princeton University Press
See more...
