The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

The Temporal Logic of Reactive and Concurrent Systems Specification

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

Hardback

$ 139.99

$ 111.81
Save $ 28.18

Enquire about this book

Available

Usually Ships in 21 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:Springer
Published In:15-Dec-1991
ISBN-10:0387976647
ISBN-13:9780387976648
Binding Type:Hardback
Weight:2.03 lbs
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 . The book displayed here is a 1st Edition edition. 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
40 %

High-Integrity System Spe ...

Jonathan P. Bow ...

List Price: $ 109.99

Our Price: $ 65.99

Biological Reactive Intermediates VI Chemical and Biological Mechanisms in Susceptibility to and Prevention of Environmental Diseases,0306466597,9780306466595
73 %

Biological Reactive Inter ...

Patrick M. Dans ...

List Price: $ 299.99

Our Price: $ 81.83

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

Spatio-Temporal Pattern F ...

Daniel Walgraef ...

List Price: $ 119.99

Our Price: $ 27.99

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

System Specification & De ...

Eugenio Villar, ...

List Price: $ 199.99

Our Price: $ 144.91

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

Temporal GIS Advanced Fun ...

George Christak ...

List Price: $ 249.99

Our Price: $ 132.80

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

Specification and Develop ...

Manfred Broy, K ...

List Price: $ 99.99

Our Price: $ 34.95