1.
Unifying Theories of Programming First International Symposium, Utp 2006, Walworth Castle, C...
by Dunne, Steve, Stoddart, Bill
ISBN: 9783540347507
List Price: $63.00
2.
Integrated Formal Methods Second International Conference, Ifm 2000, Dagstuhl Castle, German...
by Grieskamp, Wolfgang, Santen...
ISBN: 9783540411963
List Price: $89.95