bubel richard bubel author - Books - 24x7 online bookstore Bookswagon.com

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Bubel Richard Bubel

4 results found

Sort By:

37 %

Logic of Software. a Tasting Menu of Formal Methods

By: Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel, Einar Broch Johnsen

Publisher: Springer International Publishing AG

No Review Yet

₹9,600

₹6,048

Binding:	Paperback
Release:	16 Jun 2022
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Deductive Software Verification: Future Perspectives

By: Bernhard Beckert, Reiner Hahnle, Wolfgang Ahrendt, Richard Bubel, Mattias Ulbrich

Publisher: Springer International Publishing

No Review Yet

₹4,800

₹3,024

Binding:	Paperback
Release:	21 Jan 2021
Language:	English

Available

Ships within 12-14 Days Explain..

37 %

Deductive Software Verification - The Key Book

By: Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt, Wolfgang Ahrendt, Richard Bubel

Publisher: Springer

No Review Yet

₹11,520

₹7,258

Binding:	Paperback
Release:	21 Dec 2016
Language:	English

Available

Ships within 12-14 Days Explain..

Deductive Software Verification - The KeY Book

By: Bubel Richard Bubel, Beckert Bernhard Beckert, Ahrendt Wolfgang Ahrendt

Publisher: Springer Nature B.V.

No Review Yet

₹4,297

Binding:	Paperback
Release:	24 Dec 2016
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found