Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Häftad, 2012
899 kr
Programmverifikation
Sequentielle, parallele und verteilte Programme
AvErnst-Rudiger Olderog,Krzysztof R. Apt
E-bok
PDF, Tyska, 2013306 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma författare
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok
20131 132 kr
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok
20131 142 kr
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Inbunden, 2009
1 122 kr
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt
E-bok
20091 101 kr
Del 13030
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Häftad, 2021
732 kr
Model Checking, Synthesis, and Learning
Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog
E-bok
2021865 kr
Provably Correct Systems
Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Inbunden, 2017
1 122 kr
Hoppa över listan
Du kanske också är intresserad av
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Frank S. de Boer, Krzysztof R. Apt
E-bok
20091 101 kr
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok
20131 142 kr
Verification of Sequential and Concurrent Programs
Ernst-Rudiger Olderog, Krzysztof R. Apt
E-bok
20131 132 kr
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Häftad, 2012
899 kr
Model Checking, Synthesis, and Learning
Wang Yi, Bernhard Steffen, Ernst-Rudiger Olderog
E-bok
2021865 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
Formal Techniques in Real-Time and Fault-Tolerant Systems
Ernst-Rudiger Olderog, Werner Damm
E-bok
2003708 kr
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt, Erich Grädel
Inbunden, 2011
1 590 kr