List of books by author Bernhard Beckert

Get paid for books you've finished SELL YOUR BOOKS

Free UK delivery over £5 Free UK delivery over £5

OVER 100 MILLION BOOKS REHOMED

Books by Bernhard Beckert

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

Author: Bernhard Beckert

View Product

Formal Methods for Components and Objects

Formal Methods for Components and Objects

Author: Bernhard Beckert

View Product

Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software. The KeY Approach

Author: Bernhard Beckert

View Product

Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software

Author: Bernhard Beckert

View Product

Tests and Proofs

Tests and Proofs

Author: Bernhard Beckert

View Product

48