Verification of Digital and Hybrid Systems (Nato a S I Series Series III, Computer and Systems Sciences)
Contributors: M. Kemal Inan (Editor); R. P. Kurshan (Editor)
Publisher: Springer-Verlag Telos
Published: May 2000
Language: eng
Format: Hardcover
Number of pages: 405
ISBN-13: 9783540655954
Subjects: Computer Programming; Systems analysis & design; Computer Design; Computer Performance And Reliability; Computers; Computers - Languages / Programming; Computer Books: General; Networking - General; Programming - Systems Analysis & Design; Computer Engineering; Management Information Systems; Computer systems; Congresses; Verification