Buy Used and New InsupLee Books

Handbook of Real-Time and Embedded Systems (Chapman & Hall/Crc Computer & Information Science Series) (CRC Computer and Information Science Series)

by

ISBN 13: 9781584886785

Format: Hardcover (800 pages)
Publisher: Chapman and Hall/CRC
Published: 23 Jul 2007

Save for later

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)

by Sungdeok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

ISBN 13: 9783540883869

Format: Paperback (430 pages)
Publisher: Springer
Published: 06 Oct 2008

Save for later