Verification of Sequential and Concurrent Programs
AvKrzysztof R. Apt,Ernst-Rüdiger Olderog
Engelska, 2012
650 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
Recent Advances in Constraints
Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza
Häftad
554 kr
Logic Programming Paradigm
Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren
Häftad
1 100 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
1 100 kr
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Häftad
881 kr
Del 13030
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
Häftad
538 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
650 kr