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

Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method

by  , , ,
Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method,079238301X,9780792383017

Hardback

$ 169.99

$ 100.17
Save $ 69.82

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:31-Oct-1998
ISBN-10:079238301X
ISBN-13:9780792383017
Binding Type:Hardback
Weight:1.23 lbs
Pages:pp. 236, 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss L, Index

The Title "Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method" is written by Eduard Cerny. This book was published in the year 1998. The ISBN number 079238301X|9780792383017 is assigned to the Hardback version of this title. This book also comes in Paperback . This book has total of pp. xvi + 211 (Pages). The publisher of this title is Springer. We have about 147844 other great books from this publisher. Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method is currently Available with us.

Related Books

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
32 %

Verification Methodology ...

Janick Bergeron ...

List Price: $ 219.99

Our Price: $ 149.59

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

Real-Time Systems Scheduling, Analysis, and Verification,0471184063,9780471184065
4 %

Real-Time Systems Schedul ...

Albert M.K. Che ...

List Price: $ 202.95

Our Price: $ 195.43

Specification and Transformation of Programs A Formal Approach to Software Development,3540525890,9783540525899
37 %

Specification and Transfo ...

Helmut A. Parts ...

List Price: $ 99.00

Our Price: $ 62.76

Electronic Interpretation of Organic Chemistry A Problems-Oriented Text,0306403919,9780306403910
53 %

Electronic Interpretation ...

F. M. Menger, L ...

List Price: $ 119.00

Our Price: $ 55.92

Fluxes Between Trophic Levels and Through the Water-Sediment Interface,9048140781,9789048140787

Fluxes Between Trophic Le ...

M. -C Bonin, D. ...

Our Price: $ 460.50