Maurice H ter Beek Editor

Formal Methods – The Next 30 Years

3 contributors - Paperback

£44.99

Integrated Formal Methods

2 contributors - Paperback

£64.99

From Software Engineering to Formal Methods and Tools, and Back

3 contributors - Paperback

£44.99

Critical Systems: Formal Methods and Automated Verification

3 contributors - Paperback

£44.99

Formal Methods for Industrial Critical Systems

2 contributors - Paperback

£44.99

Coordination Models and Languages

2 contributors - Paperback

£109.99

Web Services and Formal Methods

2 contributors - Paperback

£39.99