Knowledge in action logical foundations for specifying and implementing dynamical systems

Saved in:
Bibliographic Details
Main Author: Reiter, Raymond
Format: Book
Published: Cambridge MIT Press 2001
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xvi, 424 p. ill. 23 cm
Bibliography:Includes bibliographical references and index
ISBN:0262182181