1.
Formal Methods and Software Engineering 8th International Conference on Formal Engineering M...
by Liu, Zhiming, He, Jifeng
ISBN: 9783540474609
List Price: $129.00
2.
Advances in Computing Science - Asian 2000 6th Asian Computing Science Conference, Penang, M...
by He, Jifeng, Sato, Masahiko
ISBN: 9783540414285
List Price: $69.95
3.
Mathematical Frameworks for Component Software Models for Analysis and Synthesis
by Liu, Zhiming, Jifeng, He
ISBN: 9789812700179
List Price: $142.00
4.
Unifying Theories of Programming
by Hoare, Charles Anthony Rich...
ISBN: 9780134587615
List Price: $78.15
OUT OF STOCK
See Availability on Amazon5.
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 Amazon6.
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 Amazon7.