Frank & Eileen

Manna - Temporal Logic of Reactive and Concurrent Systems Specifica - S9000z

Description: About this Item The item is a book paperback or softback The Author Name is Manna, Zohar,Pnueli, Amir The Title is The Temporal Logic of Reactive and Concurrent Systems : Specification Condition New Other Comments Pages Count - 444. Binding type - Perfect. Content Language - English Category - COMPUTERS / Artificial Intelligence / Expert Systems COMPUTERS / Programming / General COMPUTERS / Networking / Hardware We Use Stock Images Because we have over 2 million items for sale we have to use stock images, this listing does not include the actual image of the item for sale. The purchase of this specific item is made with the understanding that the image shown in this listing is a stock image and not the actual item for sale. For example: some of our stock images include stickers, labels, price tags, hyper stickers, obi's, promotional messages, signatures and or writing which may not be available in the actual item. When possible we will add details of the items we are selling to help buyers know what is included in the item for sale. The details  are provided automatically  from our central master database and can sometimes be wrong. Books are released in many editions and variations, such as standard edition, re-issue, not for sale, promotional, special edition, limited edition, and many other editions and versions.  The Book you receive could be any of these editions or variations. If you are looking for a specific edition or version please contact us to verify what we are selling.   Gift IdeasThis is a  great Christmas gift idea.   Hours of ServiceWe have many warehouses,  some of the warehouses process orders seven days a week, but the Administration Support Staff are located at a head office location, outside of the warehouses, and typically work only Monday to Friday. Location ID 9000z iHaveit SKU ID 165671505

Price: 69.2 USD

Location: US

End Time: 2025-01-11T21:38:25.000Z

Shipping Cost: 0 USD

Product Images

Manna - Temporal Logic of Reactive and Concurrent Systems   Specifica - S9000z

Item Specifics

Restocking Fee: No

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

Fiction/Non-Fiction: Non-Fiction

Genre/Subject: COMPUTERS / Artificial Intelligence / Expert Systems

Brand: SPRINGER

Weight: 0.62

Style: NA

Title: The Temporal Logic of Reactive and Concurrent Systems Specifica

Release Title: The Temporal Logic of Reactive and Concurrent Systems Specifica

Record Grading: New

Sleeve Grading: New

Platform: NA

Size: NA

Film/TV Title: The Temporal Logic of Reactive and Concurrent Systems Specific

Colour: NA

Material: NA

Department: NA

Binding Type: Perfect

Main Stone: NA

Metal Purity: NA

Metal: NA

Connectivity: NA

Model: NA

Number of Pages: Xiv, 427 Pages

Publication Name: Temporal Logic of Reactive and Concurrent Systems : Specification

Language: English

Publisher: Springer New York

Item Height: 0.4 in

Subject: Programming / General, Systems Architecture / General, Computer Science, Networking / General, Logic

Publication Year: 2012

Type: Textbook

Item Weight: 23.8 Oz

Item Length: 9.3 in

Subject Area: Mathematics, Computers

Author: Amir Pnueli, Zohar Manna

Item Width: 6.1 in

Format: Trade Paperback

Recommended

Vintage Beswick English Springer Spaniel Figurine Brown & White 2.9" x 4"
Vintage Beswick English Springer Spaniel Figurine Brown & White 2.9" x 4"

$22.00

View Details
HARLEY DAVIDSON FX SOFTAIL SPRINGER FRONT END FORK NICE
HARLEY DAVIDSON FX SOFTAIL SPRINGER FRONT END FORK NICE

$2500.00

View Details
BICYCLE 1" SPRINGER FORK STEERING TUBE 7-1/2" long CHROME NEW!
BICYCLE 1" SPRINGER FORK STEERING TUBE 7-1/2" long CHROME NEW!

$14.99

View Details
26 " Straight Springer Fork Bicycle,Bike Cruiser,Chopper Lowrider Chrome
26 " Straight Springer Fork Bicycle,Bike Cruiser,Chopper Lowrider Chrome

$48.98

View Details
Bicycle Springer Fork Schwinn BLACK & CHROME EXCELLENT bike fork for 26" bikes
Bicycle Springer Fork Schwinn BLACK & CHROME EXCELLENT bike fork for 26" bikes

$85.00

View Details
Vintage Springer Fork Cruiser
Vintage Springer Fork Cruiser

$120.00

View Details
New 18” Black Antique Style Springer Front End for Harley Davidson Or Custom
New 18” Black Antique Style Springer Front End for Harley Davidson Or Custom

$849.00

View Details
Chrome Springer Fork Tapered Leg Standard Harley Dyna Super Glide Custom 92-14
Chrome Springer Fork Tapered Leg Standard Harley Dyna Super Glide Custom 92-14

$546.36

View Details
Vintage Springer Fork 20 Inch Bratz Cruiser Lowrider Balloon Spring Painted
Vintage Springer Fork 20 Inch Bratz Cruiser Lowrider Balloon Spring Painted

$85.49

View Details
Springer Spaniel Decal - Dog Breed Oval Vinyl Black & White Window  Sticker
Springer Spaniel Decal - Dog Breed Oval Vinyl Black & White Window Sticker

$5.00

View Details