Beckert bernhard editor

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers . / Programming and Software Engineering)

Beckert, Bernhard (Editor) / Damiani, Ferruccio (Editor) / Gurov, Dilian (Editor)

Langue : anglais

Edité par Springer, 2012

3642317618 / 9783642317613

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 76,83

EUR 14,91 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. revised edition. 261 pages. 9.20x6.10x0.63 inches. In Stock.

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers . / Programming and Software Engineering)

Beckert, Bernhard (Editor) / Marché, Claude (Editor)

Langue : anglais

Edité par Springer, 2011

3642180698 / 9783642180699

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,25

EUR 11,93 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Brand New. 1st edition. 199 pages. 9.40x6.10x0.50 inches. In Stock.

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)

Beckert, Bernhard (Editor)/ Hahnle, Reiner (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2008

354079123X / 9783540791232

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,31

EUR 11,93 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 1st edition. 193 pages. 9.00x6.25x0.50 inches. In Stock.

Electronic Voting: 5th International Joint Conference, E-vote-id 2020, Bregenz, Austria, October 69, 2020, Proceedings

Krimmer, Robert (Editor)/ Volkamer, Melanie (Editor)/ Beckert, Bernhard (Editor)/ Küsters, Ralf (Editor)/ Kulyk, Oksana (Editor)

Langue : anglais

Edité par Springer-Nature New York Inc, 2020

3030603466 / 9783030603465

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 80,58

EUR 11,93 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 250 pages. 9.25x6.10x0.51 inches. In Stock.

Deductive Software Verification - Future Perspectives: Reflections on the Occasion of 20 Years of Key

Ahrendt, Wolfgang (Editor)/ Beckert, Bernhard (Editor)/ Bubel, Richard (Editor)/ Hähnle, Reiner (Editor)/ Ulbrich, Mattias (Editor)

Langue : anglais

Edité par Springer-Nature New York Inc, 2021

3030643530 / 9783030643539

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 82,35

EUR 14,91 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 339 pages. 9.25x6.10x0.95 inches. In Stock.

Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

Damiani, Ferruccio (Editor) / de Boer, Frank S. (Editor) / Bonsangue, Marcello M. (Editor) / Beckert, Bernhard (Editor)

Langue : anglais

Edité par Springer, 2013

3642358861 / 9783642358869

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 82,59

EUR 14,91 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 2013 edition. 366 pages. 9.00x6.00x0.75 inches. In Stock.

Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings

Krimmer, Robert (Editor)/ Volkamer, Melanie (Editor)/ Cortier, Veronique (Editor)/ Beckert, Bernhard (Editor)/ Küsters, Ralf (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2019

3030306240 / 9783030306243

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 94,48

EUR 11,93 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 232 pages. 9.25x6.00x0.75 inches. In Stock.

Verification of Object-oriented Software: The Key Approach

Beckert, Bernhard (Editor)/ Hahnle, Reiner (Editor)/ Schmitt, Peter H. (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2007

354068977X / 9783540689775

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 164,35

EUR 17,89 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 1st edition. 658 pages. 9.00x6.00x1.00 inches. In Stock.

Deductive Software Verification: The Key Book; from Theory to Practice

Ahrendt, Wolfgang (Editor)/ Beckert, Bernhard (Editor)/ Bubel, Richard (Editor)/ Hähnle, Reiner (Editor)/ Schmitt, Peter H. (Editor)

Langue : anglais

Edité par Springer-Verlag New York Inc, 2016

3319498118 / 9783319498119

Couverture souple

Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 192,80

EUR 17,89 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponibles

Paperback. Etat : Brand New. 736 pages. 9.00x6.00x2.00 inches. In Stock.

Affiner la recherche

Beckert bernhard editor (9 résultats)

Formal Verification of Object-Oriented Software: International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers . / Programming and Software Engineering)

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers . / Programming and Software Engineering)

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings (Lecture Notes in Computer Science)

Electronic Voting: 5th International Joint Conference, E-vote-id 2020, Bregenz, Austria, October 69, 2020, Proceedings

Deductive Software Verification - Future Perspectives: Reflections on the Occasion of 20 Years of Key

Formal Methods for Components and Objects: 10th International Symposium, Fmco 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering)

Electronic Voting: 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings

Verification of Object-oriented Software: The Key Approach

Deductive Software Verification: The Key Book; from Theory to Practice