|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Lingkan Gong , Oliver DiesselPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: Softcover reprint of the original 1st ed. 2015 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 3.693kg ISBN: 9783319380865ISBN 10: 3319380869 Pages: 216 Publication Date: 23 August 2016 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsIntroduction.- Verification Challenges.- Modeling Reconfiguration.- Getting Started with Verification.- Case Studies.- References Designs.- Conclusions.- Appendix A: Bugs Detected in Case Studies.- Appendix B: Inside the ReSim Library.- References.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |