Cover Image

Verification of digital and hybrid systems /

Show other versions (1)
Bibliographic Details
Corporate Authors: North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Verification of Digital and Hybrid Systems
Other Authors: Inan, M. Kemal, 1942-, Kurshan, R. P., 1943-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [2000]
Series:NATO ASI series. Computer and systems sciences ; no. 170.
Subjects:
Computer systems > Verification.
Description
Item Description:"Published in cooperation with NATO Scientific Affairs Division."
"Proceedings of the NATO Advanced Study Institute on Verification of Digital and Hybrid Systems, Antalya, May 26-June 6, 1997"--Title page verso.
Physical Description:xviii, 405 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540655956 (hardcover : alk. paper)