Bernhard Beckert - Böcker

Visar alla böcker från författaren Bernhard Beckert.
11 produkter
Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak, Ralf Kusters - Electronic Voting, Häftad

Electronic Voting

Av Robert Krimmer, Melanie Volkamer, Bernhard Beckert, Ralf Küsters, Oksana Kulyk, David Duenas-Cid, Mihkel Solvak, Ralf Kusters

Häftad, Engelska, 2020

739 kr

Skickas inom 7-10 vardagar
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen - Logic of Software. A Tasting Menu of Formal Methods, Häftad
Del 13360 - Lecture Notes in Computer Science

Logic of Software. A Tasting Menu of Formal Methods

Av Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

Häftad, Engelska, 2022

1 439 kr

Skickas inom 7-10 vardagar
Bernhard Beckert - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad

Automated Reasoning with Analytic Tableaux and Related Methods

Av Bernhard Beckert

Häftad, Engelska, 2005

739 kr

Skickas inom 7-10 vardagar
Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach, Häftad

Verification of Object-Oriented Software. The KeY Approach

Av Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

Häftad, Engelska, 2007

1 459 kr

Skickas inom 7-10 vardagar
Bernhard Beckert, Reiner Hähnle - Tests and Proofs, Häftad

Tests and Proofs

Av Bernhard Beckert, Reiner Hähnle

Häftad, Engelska, 2008

739 kr

Skickas inom 7-10 vardagar
Bernhard Beckert, Claude Marché - Formal Verification of Object-Oriented Software, Häftad

Formal Verification of Object-Oriented Software

Av Bernhard Beckert, Claude Marché

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software, Häftad

Formal Verification of Object-Oriented Software

Av Bernhard Beckert, Ferruccio Damiani, Dilian Gurov

Häftad, Engelska, 2012

679 kr

Skickas inom 7-10 vardagar