Buy books written by Bubel Richard Bubel Available at BooksWagon

Bubel Richard Bubel

4 results found

Sort By:

37 %

The 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

₹10,949

₹6,898

Binding:	Paperback
Release:	16 Jun 2022
Language:	English

Available

Ships within 22-24 Days Explain..

36 %

Deductive Software Verification: Future Perspectives

By: Bernhard Beckert, Wolfgang Ahrendt, Richard Bubel, Mattias Ulbrich, Reiner Hähnle

Publisher: Springer Nature Switzerland AG

No Review Yet

₹5,474

₹3,503

Binding:	Paperback
Release:	09 Dec 2020
Language:	English

Available

Ships within 22-24 Days Explain..

37 %

Deductive Software Verification – The KeY Book

By: Bernhard Beckert, Peter H. Schmitt, Wolfgang Ahrendt, Richard Bubel, Mattias Ulbrich

Publisher: Springer International Publishing AG

No Review Yet

₹13,139

₹8,278

Binding:	Paperback
Release:	21 Dec 2016
Language:	English

Available

Ships within 22-24 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,323

Binding:	Paperback
Release:	24 Dec 2016
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year