Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:Verification Of Reactive Systems: Formal Methods And AlgorithmsISBN13:9783642055553ISBN10:3642055559Author:Schneider, Klaus (Author)Description:This Book Is A Solid Foundation Of The Most Important Formalisms Used For Specification And Verification Of Reactive Systems In Particular, The Text Presents All Important Results On M-Calculus, W-Automata, And Temporal Logics, Shows The Relationships Between These Formalisms And Describes State-Of-The-Art Verification Procedures For Them It Also Discusses Advantages And Disadvantages Of These Formalisms, And Shows Up Their Strengths And Weaknesses Most Results Are Given With Detailed Proofs, So That The Presentation Is Almost Self-Contained Includes All Definitions Without Relying On Other Material Proves All Theorems In Detail Presents Detailed Algorithms In Pseudo-Code For Verification As Well As Translations To Other Formalisms Binding:Paperback, PaperbackPublisher:SpringerPublication Date:2010-12-08Weight:1.89 lbsDimensions:1.25'' H x 9.21'' L x 6.14'' WNumber of Pages:602Language:English
Price: 59.58 USD
Location: USA
End Time: 2024-11-22T06:04:26.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: Verification Of Reactive Systems: Formal Methods And Algorit...
Item Length: 9.3in
Item Width: 6.1in
Author: Klaus Schneider
Publication Name: Verification of Reactive Systems : Formal Methods and Algorithms
Format: Trade Paperback
Language: English
Publisher: Springer Berlin / Heidelberg
Publication Year: 2010
Series: Texts in Theoretical Computer Science. an Eatcs Ser.
Type: Textbook
Item Weight: 36.6 Oz
Number of Pages: Xiv, 602 Pages
