Search result - Books - CeDe.ch

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 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

Search result

Cristina Alcaraz, Sokratis K. Katsikas - Security and Trust Management

Cristina Alcaraz, Sokratis K. Katsikas Security and Trust Management English 02.10.2018 Paperback / Softback Sold out

Yevgen Biletskiy, Adrian Paschke - Advances in Rule Interchange and Applications

Yevgen Biletskiy, Adrian Paschke Advances in Rule Interchange and Applications English 15.10.2007 Paperback / Softback Sold out

Anna-Lena Lamprecht - Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht Leveraging Applications of Formal Methods, Verification, and Validation English 22.12.2016 Paperback / Softback Sold out

Cyrille Artho, Peter Csaba Ölveczky - Formal Techniques for Safety-Critical Systems

Cyrille Artho, Peter Csaba Ölveczky Formal Techniques for Safety-Critical Systems English 16.02.2017 Paperback / Softback Sold out

Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford - Component-Based Software Engineering

Ivica Crnkovic, George T. Heineman, Heinz G. Schmidt, Judith A. Stafford Component-Based Software Engineering English 29.06.2007 Paperback / Softback Sold out

Fred Kröger, Stephan Merz - Temporal Logic and State Systems

Fred Kröger, Stephan Merz Temporal Logic and State Systems English 25.11.2010 Paperback / Softback Sold out

Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels - ABZ 2014: The Landing Gear Case Study

Yamine Ait Ameur, Frederic Boniol, Klaus-Dieter Schewe, Virginie Wiels ABZ 2014: The Landing Gear Case Study English 26.05.2014 Paperback / Softback Sold out

Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff - Declarative Agent Languages and Technologies V

Matteo Baldoni, M. Birna van Riemsdijk, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff Declarative Agent Languages and Technologies V English 29.01.2008 Paperback / Softback Sold out

Clark Barrett, Waldmann, Uwe Waldmann - Automated Deduction - CADE 30

Clark Barrett, Waldmann, Uwe Waldmann Automated Deduction - CADE 30 English 11.09.2025 Paperback / Softback Sold out