Knowledge in action : logical foundations for specifying and implementing dynamical systems /

Bibliographic Details
Main Author: Reiter, Raymond
Corporate Author: NetLibrary, Inc
Format: eBook
Language:English
Published: Cambridge, Mass. : MIT Press, [2001]
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Item Description:Electronic resource.
Physical Description:xvi, 424 pages : illustrations ; 24 cm.
Also available via the World Wide Web.
Bibliography:Includes bibliographical references (pages [409]-418) and index.
ISBN:0585448302 (electronic bk.)