Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Formal System Verification: State-Of The-Art And Future TrendsISBN13:9783319862231ISBN10:3319862235Author:Drechsler, Rolf (Editor)Description:This Book Provides Readers With A Comprehensive Introduction To The Formal Verification Of Hardware And Software World-Leading Experts From The Domain Of Formal Proof Techniques Show The Latest Developments Starting From Electronic System Level (Esl) Descriptions Down To The Register Transfer Level (Rtl) The Authors Demonstrate At Different Abstraction Layers How Formal Methods Can Help To Ensure Functional Correctness Coverage Includes The Latest Academic Research Results, As Well As Descriptions Of Industrial Tools And Case Studies Binding:Paperback, PaperbackPublisher:SPRINGER NATUREPublication Date:2018-08-10Weight:0.63 lbsDimensions:0.42'' H x 9.21'' L x 6.14'' WNumber of Pages:182Language:English
Price: 127.29 USD
Location: USA
End Time: 2024-11-11T19:55:16.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Formal System Verification: State-Of The-Art And Future Tren...
Item Length: 9.2in
Item Height: 0.4in
Item Width: 6.1in
Author: Rolf Drechsler
Publication Name: Formal System Verification : State-Of The-Art and Future Trends
Format: Trade Paperback
Language: English
Publisher: Springer International Publishing A&G
Publication Year: 2018
Type: Textbook
Item Weight: 16 Oz
Number of Pages: Xvi, 182 Pages
