CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Formal Methods and Software Engineering 8th International Conference on Formal Engineering M...
Formal Methods and Software Engineering 8th International Conference on Formal Engineering M... by Liu, Zhiming, He, Jifeng ISBN: 9783540474609 List Price: $129.00
$40.14 (Save 68%)
2.
Mathematical Frameworks for Component Software Models for Analysis and Synthesis
Mathematical Frameworks for Component Software Models for Analysis and Synthesis by Liu, Zhiming, Jifeng, He ISBN: 9789812700179 List Price: $142.00
$133.13 (Save 6%)
3.
Advances in Computing Science - Asian 2000 6th Asian Computing Science Conference, Penang, M...
Advances in Computing Science - Asian 2000 6th Asian Computing Science Conference, Penang, M... by He, Jifeng, Sato, Masahiko ISBN: 9783540414285 List Price: $69.95
$33.82 (Save 51%)
4.
Unifying Theories of Programming
Unifying Theories of Programming by Hoare, Charles Anthony Rich... ISBN: 9780134587615 List Price: $78.15

OUT OF STOCK

See Availability on Amazon
5.
Advances in Computing Science - Asian 2000 : 6th Asian Computing Science Conference Penang, ...
Advances in Computing Science - Asian 2000 : 6th Asian Computing Science Conference Penang, ... by He, Jifeng, Sato, Masahiko ISBN: 9783662195741 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
6.
Provably Correct Systems Modelling of Communication Languages and Design of Optimized Compilers
Provably Correct Systems Modelling of Communication Languages and Design of Optimized Compilers by Jifeng He ISBN: 9780077090524 List Price: $25.01

OUT OF STOCK

See Availability on Amazon
7.
Fundamental Research for Trustworthy Software
Fundamental Research for Trustworthy Software by He, Jifeng ISBN: 9789819955886 List Price: $169.99
$146.43 (Save 13%)