1.
Semantics of Specification Languages : Proceedings of the International Workshop on Semantic...
by Andrews, D.J., Groote, J.F....
ISBN: 9783540198543
List Price: $78.95
2.
Process Algebra with Timing (Monographs in Theoretical Computer Science. An EATCS Series)
by Baeten, J. C. M., Middelbur...
ISBN: 9783642077883
List Price: $139.00
3.
Notations for Software Design (Formal Approaches to Computing & Information Technology)
by Feijs, L.M.G., Jonkers, H.B...
ISBN: 9783540199021
List Price: $84.95