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

Logic and Algebra of Specification

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

Algebra. Some Current Trends Proceedings of the 5th National School in Algebra, Held in Varna, Bulgaria, Sept. 24 - Oct. 4, 1986,3540503714,9783540503712
11 %

Algebra. Some Current Tre ...

Luchezar L. Avr ...

List Price: $ 46.00

Our Price: $ 40.73

Algorithmic and Combinatorial Algebra,0792323130,9780792323136
25 %

Algorithmic and Combinato ...

L.A. Bokut', G. ...

List Price: $ 139.99

Our Price: $ 104.55

Guaranteed Accuracy in Numerical Linear Algebra,0792323521,9780792323525
28 %

Guaranteed Accuracy in Nu ...

S.K. Godunov, A ...

List Price: $ 149.00

Our Price: $ 106.89

Algebra in a Localic Topos with Applications to Ring Theory,3540127119,9783540127116
11 %

Algebra in a Localic Topo ...

F. Borceux, G. ...

List Price: $ 59.99

Our Price: $ 53.29

Categorical Algebra and its Applications Proceedings of a Conference, Held in Louvain-la-Neuve, Belgium, July 26 - August 1, 1987,3540503625,9783540503620
21 %

Categorical Algebra and i ...

Francis Borceux

List Price: $ 59.95

Our Price: $ 47.60

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

Specification and Estimat ...

G. Hasenkamp

List Price: $ 119.99

Our Price: $ 53.87

Elements of Linear Algebra,0412552809,9780412552809

Elements of Linear Algebr ...

P.M. Cohn

Our Price: $ 122.24

Protocol Specification, Testing and Verification XV,0412716208,9780412716201
43 %

Protocol Specification, T ...

Piotr Dembinski ...

List Price: $ 299.00

Our Price: $ 170.99

Algorithmic Algebra,0387940901,9780387940908
22 %

Algorithmic Algebra

Bhubaneswar Mis ...

List Price: $ 79.99

Our Price: $ 62.76

Protocol Specification, Testing and Verification XIV,0412636409,9780412636400
41 %

Protocol Specification, T ...

S.T. Vuong, Sam ...

List Price: $ 249.00

Our Price: $ 147.48

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