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

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Model Engineering in Mixed-Signal Circuit Design A Guide to Generating Accurate Behavioral Models in VHDL-AMS,079237598X,9780792375982
34 %

Model Engineering in Mixe ...

Sorin Alexander ...

List Price: $ 219.99

Our Price: $ 144.74

Handbook of Logic and Proof Techniques for Computer Science,081764220X,9780817642204
72 %

Handbook of Logic and Pro ...

Steven G. Krant ...

List Price: $ 109.99

Our Price: $ 30.28

Mathematics and Politics Strategy, Voting, Power, and Proof 1st Edition,0387943919,9780387943916
65 %

Mathematics and Politics ...

Alan D. Taylor

List Price: $ 99.00

Our Price: $ 34.59

Processes, Beliefs, and Questions Essays on Formal Semantics of Natural Language and Natural Language Processing,9027713146,9789027713148
40 %

Processes, Beliefs, and Q ...

S. Peters, Esa ...

List Price: $ 169.99

Our Price: $ 101.63

Lectures on Proof Verification and Approximation Algorithms,3540642013,9783540642015
19 %

Lectures on Proof Verific ...

Ernst W. Mayr, ...

List Price: $ 69.99

Our Price: $ 56.99

Semantics of Digital Circuits,3540185402,9783540185406
26 %

Semantics of Digital Circ ...

Carlos Delgado ...

List Price: $ 39.99

Our Price: $ 29.69

Database Applications Semantics,0412726009,9780412726002
42 %

Database Applications Sem ...

Robert Meersman ...

List Price: $ 340.00

Our Price: $ 197.99

Syntax and Semantics of Prepositions,1402038496,9781402038495
26 %

Syntax and Semantics of P ...

Patrick Saint-D ...

List Price: $ 199.99

Our Price: $ 148.40

VHDL Coding Styles and Methodologies 2nd Edition,0792384741,9780792384748
18 %

VHDL Coding Styles and Me ...

Ben Cohen

List Price: $ 299.00

Our Price: $ 243.99