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

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

Verification Methodology Manual for Systemverilog,0387255389,9780387255385
33 %

Verification Methodology ...

Janick Bergeron ...

List Price: $ 219.99

Our Price: $ 146.53

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

Electronic Interpretation ...

F. M. Menger, L ...

List Price: $ 119.00

Our Price: $ 54.88

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

Specification and Transfo ...

Helmut A. Parts ...

List Price: $ 99.00

Our Price: $ 61.67

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

Fluxes Between Trophic Le ...

M. -C Bonin, D. ...

Our Price: $ 456.85

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

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 Estimation of Multiple-Output Production Functions,3540076255,9783540076254
56 %

Specification and Estimat ...

G. Hasenkamp

List Price: $ 119.99

Our Price: $ 52.84

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

The Temporal Logic of Rea ...

Zohar Manna, Am ...

List Price: $ 139.99

Our Price: $ 111.81