Log in

Normal view MARC view ISBD view

Logics for concurrency : structure versus automata

By: Moller, Faron.

Contributor(s): Birtwistle, Graham.

Material type: materialTypeLabel

materialTypeLabel

BookSeries: 1043. Lecture notes in computer science.Publisher: Berlin: Springer, 1996Description: xi, 266 p.; ill.: 24 cm.ISBN: 9783540609155.Subject(s): Electronic data processing - Distributed processing | Parallel processing | Linear temporal logic | Automata theoryDDC classification: 004

Tags from this library: No tags from this library for this title. Log in to add tags.

Holdings ( 1 )
Comments ( 0 )

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 MOL (Browse shelf)	Available		017860

Browsing DAIICT Shelves Close shelf browser

Previous								Next
Previous	004 MIS Proceedings of the International Conference on Controls, Automation and Communications Systems (ICCACS-2004), December 22-24, 2004	004 MIT NETWORKING 2005: Networking technologies, services, and protocols; performance of computer and communication networks; mobile and wireless communications : Third International IFIP-TC6 networking conference, Athens, Greece, May 9-14, 2004	004 MOH Data Warehousing and Knowledge Discovery	004 MOL Logics for concurrency : structure versus automata	004 MOL Art of Application Performance Testing	004 MON Pervasive Games : Theory and Design	004 MOR Applied algebra, algebraic algorithms and error-correcting codes: 12th International Symposium, AAECC-12 Toulouse, France, June 23-27, 1997 proceedings	Next

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha