Description: Please refer to the section BELOW (and NOT ABOVE) this line for the product details - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Title:The Temporal Logic Of Reactive And Concurrent Systems: SpecificationISBN13:9780387976648ISBN10:0387976647Author:Manna, Zohar (Author), Pnueli, Amir (Author)Description:Reactive Systems Are Computing Systems Which Are Interactive, Such As Real-Time Systems, Operating Systems, Concurrent Systems, Control Systems, Etc They Are Among The Most Difficult Computing Systems To Program Temporal Logic Is A Formal Toollanguage Which Yields Excellent Results In Specifying Reactive Systems This Volume, The First Of Two, Subtitled Specification, Has A Self-Contained Introduction To Temporal Logic And, More Important, An Introduction To The Computational Model For Reactive Programs, Developed By Zohar Manna And Amir Pnueli Of Stanford University And The Weizmann Institute Of Science, Israel, Respectively Binding:Hardcover, HardcoverPublisher:SPRINGER NATUREPublication Date:1991-12-18Weight:1.76 lbsDimensions:1'' H x 9.21'' L x 6.14'' WNumber of Pages:427Language:English
Price: 113.54 USD
Location: USA
End Time: 2024-11-23T11:49:43.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: The Temporal Logic Of Reactive And Concurrent Systems: Speci...
Item Length: 9.3in
Item Width: 6.1in
Author: Amir Pnueli, Zohar Manna
Publication Name: Temporal Logic of Reactive Systems Vol. 1 : Specification
Format: Hardcover
Language: English
Publisher: Springer NY
Publication Year: 1991
Type: Textbook
Item Weight: 62.4 Oz
Number of Pages: Xiv, 427 Pages
