Normal view MARC view ISBD view

Synchronous Equivalence

By: Hsieh, Harry.
Contributor(s): Balarin, Felice | Sangiovanni-Vincentelli, Alberto.
Material type: materialTypeLabelBookPublisher: London: Kluwer Academic Publishers, 2000Description: 136 p.; Index.: 24 cm.ISBN: 079237262X .Subject(s): Communication Analysis | Computer Science | Embedded Computer Systems | Formal Methods for Computer Science | Mathematical ModelsDDC classification: 004.16
Tags from this library: No tags from this library for this title. Log in to add tags.

Powered by Koha