Vuoi lasciare un feedback sul shop?

Il tuo contatto a CeDe

Avete domande, suggerimenti, elogi o critiche? I vostri commenti ci aiutano a migliorare ulteriormente CeDe.ch. Saremo quindi lieti di ricevere i vostri messaggi e risponderemo con piacere a tutte le e-mail in modo rapido e competente. Grazie mille!

Questo modulo, insieme all'URL corrente nello shop, ci invia anche dettagli tecnici circa il tuo browser. Eventualmente ci aiuta quindi a capire meglio il tuo feedback. Trovi informazioni più dettagliate nella nostra Dichiarazione protezione dati .
Chiudi

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.

Questo sito utilizza i cookie. Leggi la nostra dichiarazione sulla privacy per saperne di più su come utilizziamo i cookie e su come puoi modificare le tue preferenze. OK

Per le consegne al di fuori della Svizzera e della Germania si prega di cambiare a www.CeDe.com.

Close

Servizio eccellente e spedizione gratuita dal 1997

CeDe.ch
CeDe.ch
Lista dei desideri
Login
Carrello
  • Assortimento
    • Musica
    • Film
    • Videogiochi
    • Libri
    • Merce
    • Giocattoli
    • Accessori
    • CBD
    • Software
    • 18+
    • Buoni CeDe
  • Libri

Bernhard Beckert nella categoria Libri - Varie

Articoli di Bernhard Beckert in shop completo

Bernhard Beckert come Con la collaborazione di Mostra tutti e 10 i risultati

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Einar Broch Johnsen - The Logic of Software. A Tasting Menu of Formal Methods Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Richard Bubel et al, Einar Broch Johnsen The Logic of Software. A Tasting Menu of Formal Methods Inglese 01.01.2022 Tascabile CHF 134.00 1-2 settimane
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … - Deductive Software Verification: Future Perspectives Reflections on the Occasion of 20 Years of KeY
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … Deductive Software Verification: Future Perspectives Inglese 02.04.2021 Tascabile CHF 69.00 1-2 settimane
Bernhard Beckert, Bernhard Beckert et al, David Duenas-Cid, Robert Krimmer, Oksana Kulyk, … - Electronic Voting 5th International Joint Conference, E-Vote-ID 2020, Bregenz, Austria, October 6-9, 2020, Proceedings
Bernhard Beckert, Bernhard Beckert et al, David Duenas-Cid, Robert Krimmer, Oksana Kulyk, … Electronic Voting Inglese 25.12.2020 Tascabile CHF 69.00 1-2 settimane
Bernhard Beckert, Veronique Cortier, Veronique Cortier et al, David Duenas-Cid, Robert Krimmer, … - Electronic Voting 4th International Joint Conference, E-Vote-ID 2019, Bregenz, Austria, October 1-4, 2019, Proceedings
Bernhard Beckert, Veronique Cortier, Veronique Cortier et al, David Duenas-Cid, Robert Krimmer, … Electronic Voting Inglese 01.01.2019 Tascabile CHF 81.00 1-2 settimane
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … - Deductive Software Verification - The KeY Book From Theory to Practice
Wolfgang Ahrendt, Bernhar Beckert, Bernhard Beckert, Richard Bubel, Richard Bubel et al, … Deductive Software Verification - The KeY Book Inglese 01.01.2016 Tascabile CHF 159.00 6-7 settimane
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer - Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Bernhard Beckert, Marcello M. Bonsangue, Ferruccio Damiani, Frank S. de Boer Formal Methods for Components and Objects Inglese 03.01.2013 Tascabile CHF 69.00 1-2 settimane
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software Inglese 19.07.2012 Tascabile CHF 65.00 1-2 settimane
Bernhar Beckert, Bernhard Beckert - Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings
Bernhar Beckert, Bernhard Beckert Automated Reasoning with Analytic Tableaux and Related Methods Inglese 28.01.2010 Tascabile CHF 70.00 6-7 settimane
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach Inglese 14.04.2009 Tascabile CHF 135.00 6-7 settimane
Bernhard Beckert, Reiner Hähnle - Tests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Bernhard Beckert, Reiner Hähnle Tests and Proofs Inglese 31.03.2008 Tascabile CHF 69.00 1-2 settimane
  • Assortimento
    • Musica
    • Film
    • Videogiochi
    • Libri
    • Merce
    • Giocattoli
    • Accessori
    • CBD
    • Software
    • 18+
    • Buoni CeDe
  • Libri
CeDe.ch

Info

  • Contatto e impressum
  • Profilo aziendale
  • Condizioni generali
  • Protezione dei dati
  • Offerte di lavoro
  • Programma Partner/Affiliato
  • Nuova registrazione
  • Compra buoni CeDe.ch

Assortimento

  • Musica
  • Film
  • Videogiochi
  • Libri
  • Merce
  • Giocattoli
  • Accessori
  • CBD
  • Software
  • 18+

Help online

  • FAQ
  • E' possibile restituire la merce?

Lingue

Modalità di pagamento

  • Mastercard
  • PostFinance
  • Visa
  • Twint
  • Fattura
Verband des Schweizerischen Versandhandels

Made with in Winterthur — © 2026 CeDe-Shop AG