Dependable Software Engineering: Theories, Tools, and Applications 3 contributors - Paperback £39.99 Find out more
Mathematical Frameworks For Component Software: Models For Analysis And Synthesis 2 contributors - Hardback £141.00 Find out more
Unifying Theories of Programming and Formal Engineering Methods 3 contributors - Paperback £44.99 Find out more