Showing 1 - 10 of 10 Results
1.
Recent Trends in Data Type Specification 10th Workshop on Specification of Abstract Data Typ... by Astesiano, E., Tarlecki, An... ISBN: 9783540591320 List Price: $97.00
2.
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theore... by Sannella, Donald, Tarlecki,... ISBN: 9783642173356 List Price: $109.00
3.
Fm 2005, Formal Methods International Symposium of Formal Methods Europe, Newcastle, Uk, Jul... by Fitzgerald, John, Hayes, Ia... ISBN: 9783540278825 List Price: $95.00
4.
Computer Science Logic 18th International Workshop, Csl 2004, 13th Annual Conference Of The ... by Marcinkowski, Jerzy, Tarlec... ISBN: 9783540230243 List Price: $89.00
5.
Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine... by Kurz, Alexander, Lenisa, Ma... ISBN: 9783642037405 List Price: $95.00
6.
Recent Trends in Data Type Specification by Sannella, Donald, Tarlecki,... ISBN: 9783540503255 List Price: $54.95
7.
Foundations of Algebraic Specification and Formal Software Development by Sannella, Donald, Tarlecki,... ISBN: 9783642440656 List Price: $99.00
8.
Mathematical Foundations of Computer Science, 1991 16th International Symposium, Kazimierz D... by Tarlecki, Andrzej, Goos, G.... ISBN: 9780387543451 List Price: $59.95
9.
Recent Trends in Data Type Specification 5th Workshop on Specification of Abstract Data by Sannella, D., Tarlecki, And... ISBN: 9780387503257 List Price: $49.95