Normal view
MARC view
A Roadmap for Formal Property Verification Электронный ресурс by Pallab DasGupta.
Material type: Computer filePublication details: Dordrecht : Springer, 2006ISBN: 9781402047589Subject(s): Computer aided design | Computer engineering | Computer Science | electronics | engineering | Logic design | Systems engineering | Engineering | Circuits and Systems | Computer-Aided Engineering (CAD, CAE) and Design | Electronic and Computer Engineering | Electronics and Microelectronics, Instrumentation | Logic Design | Mathematical Logic and Formal LanguagesOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.