Bernhard Beckert Editor

Deductive Software Verification – The KeY Book

6 contributors - Paperback

£109.99

Deductive Software Verification: Future Perspectives

5 contributors - Paperback

£44.99

Formal Methods for Components and Objects

4 contributors - Paperback

£48.99

Electronic Voting

7 contributors - Paperback

£49.99

Electronic Voting

7 contributors - Paperback

£44.99

The Logic of Software. A Tasting Menu of Formal Methods

4 contributors - Paperback

£89.99