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

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

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

Discovery and Representat ...

R. L. Blum

List Price: $ 159.00

Our Price: $ 99.34

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

Specification and Estimat ...

G. Hasenkamp

List Price: $ 119.99

Our Price: $ 53.87

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

Fluxes Between Trophic Le ...

M. -C Bonin, D. ...

Our Price: $ 460.50

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

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

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
32 %

Verification Methodology ...

Janick Bergeron ...

List Price: $ 219.99

Our Price: $ 149.59

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