10% off all books and free delivery over £40
Buy from our bookstore and 25% of the cover price will be given to a school of your choice to buy more books. *15% of eBooks.

Books By Dirk, Ph. D. Beyer - Author

Book Cover for Verification, Model Checking, and Abstract Interpretation by Dirk, Ph D Beyer

Verification, Model Checking, and Abstract Interpretation

Dirk and 1 more

Paperback

Not Available

Book Cover for Tests and Proofs by Dirk, Ph D Beyer

Tests and Proofs

Dirk and 1 more

Paperback

Not Available

Book Cover for Tools and Algorithms for the Construction and Analysis of Systems by Dirk, Ph D Beyer

Tools and Algorithms for the Construction and Analysis of Systems

Dirk and 1 more

Paperback

Not Available

Book Cover for Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20 by Dirk, Ph D Beyer

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20

Dirk and 1 more

Paperback

Not Available

©PTC International Ltd T/A LoveReading is registered in England. Company number: 10193437. VAT number: 270 4538 09. Registered address: 157 Shooters Hill, London, SE18 3HP.
Terms & Conditions | Privacy Policy | Disclaimer