The Mega Online Bookshop
Welcome Guest | Login | Home | Contact Us
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

The Temporal Logic of Reactive and Concurrent Systems Specification

by  ,
The Temporal Logic of Reactive and Concurrent Systems Specification,0387976647,9780387976648

Hardback

£ 99.99

£ 80.99
Save £ 19.00

Enquire about this book

Available

Usually Ships in 14 Days.

Ships From London

Free Shipping within U.K

International Shipping?

Check Delivery Estimate and Delivery Charges for your country

Book Information

Publisher:Springer
Published In:15-Dec-1991
ISBN-10:0387976647
ISBN-13:9780387976648
Binding Type:Hardback
Weight:921 gms
Pages:pp. 448, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L

The Title "The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition" is written by Zohar Manna. This book was published in the year 1991. The ISBN number 0387976647|9780387976648 is assigned to the Hardback version of this title. This book also comes in Paperback . This book has total of pp. xiv + 448 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. The Temporal Logic of Reactive and Concurrent Systems Specification 1st Edition is currently Available with us.

Related Books

High-Integrity System Specification and Design,3540762264,9783540762263
43 %

High-Integrity Syste ...

Jonathan P. Bow ...

List Price: £ 74.99

Our Price: £ 42.91

Spatio-Temporal Pattern Formation With Examples from Physics, Chemistry, and Materials Science,0387948570,9780387948577
78 %

Spatio-Temporal Patt ...

Daniel Walgraef ...

List Price: £ 89.99

Our Price: £ 19.83

System Specification & Design Languages Best of FDL'02,140207414X,9781402074141
23 %

System Specification ...

Eugenio Villar, ...

List Price: £ 139.99

Our Price: £ 107.54

Temporal GIS Advanced Functions for Field-Based Applications,3540414762,9783540414766
45 %

Temporal GIS Advance ...

George Christak ...

List Price: £ 179.99

Our Price: £ 99.25

Specification and Development of Interactive Systems Focus on Streams, Interfaces, and Refinement,0387950737,9780387950730
72 %

Specification and De ...

Manfred Broy, K ...

List Price: £ 69.99

Our Price: £ 19.89

Conditional Specification of Statistical Models,0387987614,9780387987613
66 %

Conditional Specific ...

Barry C. Arnold ...

List Price: £ 119.99

Our Price: £ 40.80