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
    • Sex / 18+
  • Books
Languages
  • German 1
  • English 28
Subject
  • Natural sciences, medicine, IT, technology 17
Format
  • Paperback / Softback 2
  • Hardback 27
Availabity
  • Sold out 27
  • available 2
Authors
  • Michael A. Arbib 4
  • Suad Alagic 3
  • A. J. Kfoury 2
  • Robert N. Moll 2
  • Bhubaneswar Mishra 1
  • Carel S. Scholten 1
  • Dan A. Simovici 1
  • David Gries 1
  • David Luckham 1
  • Dexter C. Kozen 1

Search result

Ronald V. Book, Friedrich Otto - String-Rewriting Systems
Ronald V. Book, Friedrich Otto String-Rewriting Systems English 01.01.1993 Hardback Sold out
John V. Guttag, James J. Horning - Larch, Languages and Tools for Formal Specification
John V. Guttag, James J. Horning Larch, Languages and Tools for Formal Specification English 01.01.1993 Hardback Sold out
Eric C. R. Hehner - A Practical Theory of Programming
Eric C. R. Hehner A Practical Theory of Programming English 01.01.1993 Hardback Sold out
Bhubaneswar Mishra - Algorithmic Algebra
Bhubaneswar Mishra Algorithmic Algebra English 01.01.1993 Hardback Sold out
Reliable Computer Systems
Reliable Computer Systems English 01.01.1985 Hardback Sold out
Walter Bischofberger, Gustav Pomberger - Prototyping-Oriented Software Development
Walter Bischofberger, Gustav Pomberger Prototyping-Oriented Software Development English 01.01.1992 Hardback Sold out
Suad Alagic - Relational Database Technology
Suad Alagic Relational Database Technology English 01.01.1986 Hardback Sold out
Michael A. Arbib, A. J. Kfoury, Robert N. Moll - An Introduction to Formal Language Theory
Michael A. Arbib, A. J. Kfoury, Robert N. Moll An Introduction to Formal Language Theory English 01.01.1988 Hardback Sold out
Melvin Fitting - First-Order Logic and Automated Theorem Proving
Melvin Fitting First-Order Logic and Automated Theorem Proving English 01.01.1996 Hardback Sold out
  • 1
  • 2
  • 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
    • Sex / 18+
  • Books

Sort

Article filter

Languages
  • German 1
  • English 28
Subject
  • Natural sciences, medicine, IT, technology 17
Format
  • Paperback / Softback 2
  • Hardback 27
Availabity
  • Sold out 27
  • available 2
Authors
  • Michael A. Arbib 4
  • Suad Alagic 3
  • A. J. Kfoury 2
  • Robert N. Moll 2
  • Bhubaneswar Mishra 1
  • Carel S. Scholten 1
  • Dan A. Simovici 1
  • David Gries 1
  • David Luckham 1
  • Dexter C. Kozen 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