Einar Broch Johnsen Editor

Theory and Practice of Formal Methods

3 contributors - Paperback

£44.99

Active Object Languages: Current Research Trends

5 contributors - Paperback

£59.99

Service-Oriented and Cloud Computing

4 contributors - Paperback

£44.99

Tests and Proofs

2 contributors - Paperback

£44.99

Integrated Formal Methods

2 contributors - Paperback

£55.99

Formal Methods for Executable Software Models

5 contributors - Paperback

£64.99

Formal Methods for Multicore Programming

2 contributors - Paperback

£39.99

Service-Oriented and Cloud Computing

3 contributors - Paperback

£44.99

The Logic of Software. A Tasting Menu of Formal Methods

4 contributors - Paperback

£89.99

Fundamental Approaches to Software Engineering

2 contributors - Paperback

£34.99