Verification of Sequential and Concurrent Programs
AvKrzysztof R. Apt,Ernst-Rüdiger Olderog
Engelska, 2012
644 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Hoppa över listan
Mer från samma författare
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt, Erich Grädel
Inbunden, 2011
1 590 kr
Edsger Wybe Dijkstra
Krzysztof R. Apt, Tony Hoare, Krzysztof R. Apt, Krzysztof R Apt
Inbunden, 2022
1 445 kr
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
Häftad, 2004
556 kr
New Trends in Constraints
Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
Häftad, 2000
556 kr
Hoppa över listan
Du kanske också är intresserad av
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Inbunden, 2009
1 114 kr
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Häftad, 2012
893 kr
New Trends in Constraints
Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi
Häftad, 2000
556 kr
Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
727 kr
Provably Correct Systems
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Inbunden, 2017
1 105 kr
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
Häftad, 2002
540 kr
Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budap
Krzysztof R. Apt, Francois Fages
644 kr