Do you have feedback on our shop?

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This form sends us technical details about your browser in addition to the current URL in the shop. This may help us to better understand your feedback. You can find detailed information about this in our Privacy statement.
Close

By submitting this form you agree to our data privacy statement.

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

CeDe.ch
CeDe.ch
Wish list
Login
Shopping cart
  • Product range
    • Music
    • Movies
    • Games
    • Books
    • Merchandise
    • Toys
    • Equipment
    • CBD
    • Software
    • 18+
  • Books
Languages
  • English 3
Subject
  • Natural sciences, medicine, IT, technology 3
Format
  • Paperback / Softback 3
Availabity
  • available 3
Authors
  • Reine Hähnle 3
  • Reiner Hähnle 3
  • Bernhard Beckert 1
  • Elena Giachino 1
  • Frank S de Boer et al 1
  • Frank S. de Boer 1
  • Joachim Posegga 1
  • Marcello M. Bonsangue 1
  • Peter Baumgartner 1
  • Peter H Schmitt 1

Search result

Peter Baumgartner, Reiner H¿le, Reine Hähnle, Reiner Hähnle, Joachim Posegga - Theorem Proving with Analytic Tableaux and Related Methods
Peter Baumgartner, Reiner H¿le, Reine Hähnle, Reiner Hähnle, Joachim Posegga Theorem Proving with Analytic Tableaux and Related Methods English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Marcello M. Bonsangue, Frank S. de Boer, Elena Giachino, Reine Hähnle, Reiner Hähnle, Frank S de Boer et al - Formal Methods for Components and Objects
Marcello M. Bonsangue, Frank S. de Boer, Elena Giachino, Reine Hähnle, Reiner Hähnle, Frank S de Boer et al Formal Methods for Components and Objects English 02.08.2013 Paperback / Softback Fr. 66.00 6-7 weeks
  • Profile
    • User account
    • Addresses
    • Age verification
  • Orders
    • Order status
    • Download e-books
  • Wallet
    • Credit
    • Redeem voucher
    • Method of payment
  • Your shop
    • Wish list
    • Newsletter
  • Inquiry service
    • Overview
    • Archive
  • Product range
    • Music
    • Movies
    • Games
    • Books
    • Merchandise
    • Toys
    • Equipment
    • CBD
    • Software
    • 18+
  • Books

Sort

Article filter

Languages
  • English 3
Subject
  • Natural sciences, medicine, IT, technology 3
Format
  • Paperback / Softback 3
Availabity
  • available 3
Authors
  • Reine Hähnle 3
  • Reiner Hähnle 3
  • Bernhard Beckert 1
  • Elena Giachino 1
  • Frank S de Boer et al 1
  • Frank S. de Boer 1
  • Joachim Posegga 1
  • Marcello M. Bonsangue 1
  • Peter Baumgartner 1
  • Peter H Schmitt 1

Information

  • Contact & Imprint
  • Company profile
  • General policies
  • Data privacy
  • Job vacancies
  • Partner-/Affiliate Program
  • New registration
  • Buy CeDe.ch vouchers

Assortment

  • Music
  • Movies
  • Games
  • Books
  • Merchandise
  • Toys
  • Equipment
  • CBD
  • Software
  • 18+

Online help

  • Frequently asked questions (FAQ)
  • Can I return goods?

Languages

Methods of payment

Verband des Schweizerischen Versandhandels

Made with in Winterthur — © 2025 CeDe-Shop AG