1.
Formal Methods and Software Engineering : 12th International Conference on Formal Engineerin...
by Dong, Jin Song, Zhu, Huibiao
ISBN: 9783642169007
List Price: $131.00
2.
Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion o...
by Liu, Zhiming, Woodcock, Jim...
ISBN: 9783642396977
List Price: $95.00
3.
Theoretical Aspects of Computing -- ICTAC 2013 : 10th International Colloquium, Shanghai, Ch...
by Liu, Zhiming, Woodcock, Jim...
ISBN: 9783642397172
List Price: $95.00
4.
Unifying Theories of Programming and Formal Engineering Methods : International Training Sch...
by Liu, Zhiming, Woodcock, Jim...
ISBN: 9783642397226
List Price: $24.99
OUT OF STOCK
See Availability on Amazon5.
Theoretical Aspects of Computing -- Ictac 2013 : 10th International Colloquium, Shanghai, Ch...
by Liu, Zhiming, Woodcock, Jim...
ISBN: 9783642397196
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Service-Oriented Computing - Icsoc Workshops 2012
by Ghose, Aditya, Zhu, Huibiao...
ISBN: 9783642378058
List Price: $24.99
OUT OF STOCK
See Availability on Amazon7.
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland,...
by Bowen, Jonathan P., Zhu, Hu...
ISBN: 9783319522272
List Price: $72.00