Armin Biere Editor & Author

Computer Aided Verification

2 contributors - Paperback

£89.99

Tools and Algorithms for the Construction and Analysis of Systems

2 authors - Paperback

£46.45

Tools and Algorithms for the Construction and Analysis of Systems

2 authors - Paperback

£42.95

Tools and Algorithms for the Construction and Analysis of Systems

2 authors - Hardback

£46.95

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99

Hardware and Software: Verification and Testing

3 contributors - Paperback

£39.99

Tools and Algorithms for the Construction and Analysis of Systems

2 authors - Hardback

£50.45

Tools and Algorithms for the Construction and Analysis of Systems

2 contributors - Paperback

£34.99