|
Searching ... |
0 % | |||
Capital and Interest - A Critical History of Economical Theory(2005th Edition) (Paperback) by Beckert, Bernhard Paperback, 476 Pages, Published 2008 by Pohl Press ISBN-13: 978-1-4437-6236-6, ISBN: 1-4437-6236-9 |
Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Bernhard Beckert, Peter H. Schmitt, Reiner Hähnle Paperback, 658 Pages, Published 2007 by Springer ISBN-13: 978-3-540-68977-5, ISBN: 3-540-68977-X |
Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers (Lecture Notes in Computer Science) by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Paperback, 251 Pages, Published 2012 by Springer ISBN-13: 978-3-642-31761-3, ISBN: 3-642-31761-8 |
Deductive Software Verification - The KeY Book(1st Edition) From Theory to Practice (Lecture Notes in Computer Science) by Wolfgang Ahrendt, Richard Bubel, Bernhard Beckert, Peter H. Schmitt, Mattias Ulbrich, Reiner Hähnle, Doctor Reiner Hahnle Paperback, 702 Pages, Published 2016 by Springer ISBN-13: 978-3-319-49811-9, ISBN: 3-319-49811-8 |
Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science) by Bernhard Beckert, Reiner Hähnle Paperback, 193 Pages, Published 2008 by Springer ISBN-13: 978-3-540-79123-2, ISBN: 3-540-79123-X |
Electronic Voting(1st Edition) 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings (Lecture Notes in Computer Science) by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid Paperback, 230 Pages, Published 2019 by Springer ISBN-13: 978-3-030-30624-3, ISBN: 3-030-30624-0 |
Deductive Software Verification Future Perspectives: Reflections on the Occasion of 20 Years of KeY by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich 339 Pages, Published 2020 by Springer Nature ISBN-13: 978-3-030-64354-6, ISBN: 3-030-64354-9 |
Deductive Software Verification – The KeY Book From Theory to Practice by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich 702 Pages, Published 2016 by Springer ISBN-13: 978-3-319-49812-6, ISBN: 3-319-49812-6 |
Lecture Notes in Computer Science Ser. Formal Verification of Object-Oriented Software : International Conference, FoVeOOS 2010, Paris, France, June, 2010 6528 by Bernhard Beckert, Claude Marché, David Hutchison 199 Pages, Published 2011 by Springer ISBN-13: 978-3-642-18070-5, ISBN: 3-642-18070-1 |
Lecture Notes in Computer Science Ser. Verification of Object-Oriented Software. The KeY Approach : Foreword by Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt 658 Pages, Published 2007 by Springer ISBN-13: 978-3-540-69061-0, ISBN: 3-540-69061-1 |
Formal Verification of Object-Oriented Software International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers ... / Programming and Software Engineering) by Bernhard Beckert, Claude Marché Paperback, 199 Pages, Published 2011 by Springer ISBN-13: 978-3-642-18069-9, ISBN: 3-642-18069-8 |
(FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE: INTERNATIONAL CONFERENCE, FOVEOOS 2010, PARIS, FRANCE, JUNE 28-30, 2010, REVISED SELECTED PAPERS (EDI) BY Paperback (Author) Paperback Published on (03 , 2011) by Bernhard Beckert Paperback, Published 2011 by Springer ISBN-13: 978-3-642-18071-2, ISBN: 3-642-18071-X |
Electronic Voting 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6âÂÂ9, 2020, Proceedings (Lecture Notes in Computer Science, 12455) Paperback by Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, Mihkel Solvak, David Duenas-Cid Paperback, 229 Pages, Published 2020 by Springer ISBN-13: 978-3-030-60346-5, ISBN: 3-030-60346-6 |
Deductive Software Verification Future Perspectives: Reflections on the Occasion of 20 Years of KeY (Programming and Software Engineering) by Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hähnle, Reiner, Ulbrich, Mattias Trade Paperback, 352 Pages, Published 2020 by Springer ISBN-13: 978-3-030-64353-9, ISBN: 3-030-64353-0 |
Electronic Voting 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6–9, 2020, Proceedings by Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak 229 Pages, Published 2020 by Springer Nature ISBN-13: 978-3-030-60347-2, ISBN: 3-030-60347-4 |
Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1–4, 2019, Proceedings by Robert Krimmer, Melanie Volkamer, Veronique Cortier, Bernhard Beckert, Ralf Küsters, Uwe Serdült, David Duenas-Cid 233 Pages, Published 2019 by Springer Nature ISBN-13: 978-3-030-30625-0, ISBN: 3-030-30625-9 |
Lecture Notes in Computer Science Formal Methods for Components and Objects : 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers 7542 by Bernhard Beckert, Ferruccio Damiani, Marcello M. Bonsangue 356 Pages, Published 2013 by Springer ISBN-13: 978-3-642-35887-6, ISBN: 3-642-35887-X |
Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov 251 Pages, Published 2012 by Springer ISBN-13: 978-3-642-31762-0, ISBN: 3-642-31762-6 |
Lecture Notes in Computer Science(1st Edition) Automated Reasoning with Analytic Tableaux and Related Methods : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings 3702 by Bernhard Beckert Digital, 346 Pages, Published 2005 by Springer ISBN-13: 978-3-540-31822-4, ISBN: 3-540-31822-4 |
Automated Reasoning with Analytic Tableaux and Related Methods by Bernhard Beckert Paperback ISBN-13: 978-3-540-81559-4, ISBN: 3-540-81559-7 |
Bernhard Beckert