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

Logics of Specification Languages

by  ,
Logics of Specification Languages,3540741062,9783540741060

Hardback

$ 249.99

$ 154.53
Save $ 95.46

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:07-Dec-2007
ISBN-10:3540741062
ISBN-13:9783540741060
Binding Type:Hardback
Weight:2.98 lbs
Pages:pp. 652, Illus.

The Title "Logics of Specification Languages 1st Edition" is written by Dines Bjørner. This book was published in the year 2008. The ISBN number 3540741062|9783540741060 is assigned to the Hardback version of this title. The book displayed here is a 1st Edition edition. This book has total of pp. xxii + 624 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Logics of Specification Languages 1st Edition is currently Available with us.

Related Books

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

High-Integrity System Spe ...

Jonathan P. Bow ...

List Price: $ 109.99

Our Price: $ 51.40

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

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 107.33

Electronic Chips & Systems Design Languages,0792373111,9780792373117
76 %

Electronic Chips & System ...

Jean Mermet

List Price: $ 279.99

Our Price: $ 67.91

Digital Systems Design and Prototyping Using Field Programmable Logic and Hardware Description Languages 2nd Edition,0792379209,9780792379201

Digital Systems Design an ...

Zoran Salcic, A ...

Our Price: $ 355.42

System on Chip Design Languages Extended papers: best of FDL'01 and HDLCon'01,1402070462,9781402070464
27 %

System on Chip Design Lan ...

Anne Mignotte, ...

List Price: $ 199.99

Our Price: $ 146.89

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: $ 35.19