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

Maur Cerioli, Maura Cerioli - Fundamental Approaches to Software Engineering

Maur Cerioli, Maura Cerioli Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation

Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks

Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation

Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks

S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis

S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 189.00 6-7 weeks

S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis

S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 169.00 6-7 weeks

Chang, Stephen Chang, Jason Hemann - Trends in Functional Programming

Chang, Stephen Chang, Jason Hemann Trends in Functional Programming English 27.01.2025 Paperback / Softback Fr. 82.00 6-7 weeks

Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods

Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English Paperback / Softback Fr. 168.00 Will be released 06.08.2025

Parosh Aziz Abdulla, Parosh Aziz Abdulla, Kesner, Delia Kesner - Foundations of Software Science and Computation Structures

Parosh Aziz Abdulla, Parosh Aziz Abdulla, Kesner, Delia Kesner Foundations of Software Science and Computation Structures English Paperback / Softback Fr. 55.50 Will be released 09.07.2025

Viktor Vafeiadis - Programming Languages and Systems

Viktor Vafeiadis Programming Languages and Systems English Paperback / Softback Fr. 55.50 Will be released 10.07.2025

Viktor Vafeiadis - Programming Languages and Systems

Viktor Vafeiadis Programming Languages and Systems English Paperback / Softback Fr. 55.50 Will be released 10.07.2025