Languages
Subject
Format
Availabity
Authors

Search result

Ernst-Rüdiger Olderog, Bernhar Steffen, Bernhard Steffen, Wang Yi - Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhar Steffen, Bernhard Steffen, Wang Yi Model Checking, Synthesis, and Learning English 24.04.2022 Paperback / Softback Fr. 89.00 1-2 weeks (title will be printed to order)
Jonathan P Bowen, Jonathan P. Bowen, Mike Hinchey, Ernst-Rüdiger Olderog, Jonatha P Bowen, Jonathan P Bowen - Provably Correct Systems
Jonathan P Bowen, Jonathan P. Bowen, Mike Hinchey, Ernst-Rüdiger Olderog, Jonatha P Bowen, Jonathan P Bowen Provably Correct Systems English 01.01.2017 Hardback Fr. 134.00 2-3 weeks (title will be printed to order)
Ernst-Rüdige Olderog, Ernst-Rüdiger Olderog, Steffen, Steffen, Bernhard Steffen - Correct System Design
Ernst-Rüdige Olderog, Ernst-Rüdiger Olderog, Steffen, Steffen, Bernhard Steffen Correct System Design English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Ernst-Rüdiger Olderog - Programmverifikation
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Ernst-Rüdiger Olderog Programmverifikation German 01.01.1960 Paperback / Softback Fr. 40.90 1-2 weeks (title will be printed to order)
Jonathan P. Bowen, Mike Hinchey, Ernst-Rüdiger Olderog, Jonatha P Bowen, Jonathan P Bowen - Provably Correct Systems
Jonathan P. Bowen, Mike Hinchey, Ernst-Rüdiger Olderog, Jonatha P Bowen, Jonathan P Bowen Provably Correct Systems English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.01.2009 Hardback Fr. 135.00 6-7 weeks
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... - Verification of Sequential and Concurrent Programs
Krzysztof Apt, Krzysztof R Apt, Krzysztof R. Apt, Frank S. de Boer, Frank de Boer, Frank S de Boer... Verification of Sequential and Concurrent Programs English 01.12.2013 Paperback / Softback Fr. 97.00 6-7 weeks
Krzysztof R. Apt, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Ernst-Rüdiger Olderog Verification of Sequential and Concurrent Programs English 01.01.1991 Hardback Sold out