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

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

Specification and Estimation of Multiple-Output Production Functions,3540076255,9783540076254
56 %

Specification and Estimat ...

G. Hasenkamp

List Price: $ 119.99

Our Price: $ 52.45

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

Electronic Interpretation ...

F. M. Menger, L ...

List Price: $ 119.00

Our Price: $ 53.51

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

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 109.52

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
78 %

Verification Methodology ...

Janick Bergeron ...

List Price: $ 219.99

Our Price: $ 48.67

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

Fluxes Between Trophic Le ...

M. -C Bonin, D. ...

Our Price: $ 457.17

Discovery and Representation of Causal Relationships from a Large Time-Oriented Clinical Database The RX Project : The RX Project,3540119620,9783540119623
39 %

Discovery and Representat ...

R. L. Blum

List Price: $ 159.00

Our Price: $ 96.46

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

Specification and Transfo ...

Helmut A. Parts ...

List Price: $ 99.00

Our Price: $ 58.97

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