Antonio Ravara Editor

Behavioural Types: from Theory to Tools

2 contributors - Hardback

£81.99

Formal Techniques for Distributed Objects, Components, and Systems

2 contributors - Paperback

£59.99

Web Services, Formal Methods, and Behavioral Types

4 contributors - Paperback

£37.99