Tools and Algorithms for the Construction and Analysis of Systems
Subtitle: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
Contributors: Tiziana Margaria (Editor); Wang Yi (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 27, 2001
Language: eng
Format: Paperback
Number of pages: 588
ISBN-13: 9783540418658
Subjects: Software engineering; Software Development; Development; Systems Analysis (Computer Science); Computers; Computers - Languages / Programming; Programming - Systems Analysis & Design; Computer Books: General; Programming - Software Development; Logic Design; Networking - General; Computers / Logic Design; Development Tools; Formal Methods; Model Checking; Program Semantics; Programming Theory; System Analysis; Computer software; System design; Congresses
First sentence: As indicated in the National Technology Roadmap for Semiconductors1, the semiconductor industry faces a serious challenge: chip designers are finding it increasingly difficult to keep up with the advances in semiconductor manufacturing.