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

A R Hoare, C A R Hoare, Dines Bjorner, Dines Bjørner, C. A. R. Hoare, C.A.R. Hoare... - VDM '90. VDM and Z - Formal Methods in Software Development

A R Hoare, C A R Hoare, Dines Bjorner, Dines Bjørner, C. A. R. Hoare, C.A.R. Hoare... VDM '90. VDM and Z - Formal Methods in Software Development English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Anton Kreczmar, Antoni Kreczmar, Hans Langmaack, Andrze Salwicki, Andrzej Salwicki, M Warpechowski... - LOGLAN '88 - Report on the Programming Language

Anton Kreczmar, Antoni Kreczmar, Hans Langmaack, Andrze Salwicki, Andrzej Salwicki, M Warpechowski... LOGLAN '88 - Report on the Programming Language English 20.04.2001 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul De Roever, Jan Vytopil - Formal Techniques in Real-Time and Fault-Tolerant Systems

Willem-Pau de Roever, Willem-Paul de Roever, Hans Langmaack, Willem-Paul De Roever, Jan Vytopil Formal Techniques in Real-Time and Fault-Tolerant Systems English 01.01.1960 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Han Langmaack, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever - Compositionality: The Significant Difference

Han Langmaack, Hans Langmaack, Amir Pnueli, Willem-Paul De Roever Compositionality: The Significant Difference English 19.02.2009 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Jean-Raymond Abrial, Ego Börger, Egon Börger, Hans Langmaack - Formal Methods for Industrial Applications. Vol.2

Jean-Raymond Abrial, Ego Börger, Egon Börger, Hans Langmaack Formal Methods for Industrial Applications. Vol.2 English 01.01.1960 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)

Han Langmaack, Hans Langmaack, PAUL, Paul, Manfred Paul - 1. Fachtagung über Programmiersprachen

Han Langmaack, Hans Langmaack, PAUL, Paul, Manfred Paul 1. Fachtagung über Programmiersprachen German 05.12.2012 Paperback / Softback Fr. 71.00 1-2 weeks (title will be printed to order)