Verified Software: Theories, Tools, Experiments
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Häftad
552 kr
Del i serien Progress in Theoretical Computer Science
1 689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Hoppa över listan
Mer från samma serie
Categorical Combinators, Sequential Algorithms, and Functional Programming
P.-L. Curien
Inbunden
1 064 kr
Hoppa över listan
Du kanske också är intresserad av
Cryptography and Computational Number Theory
K. y. Lam, I. Shparll Inski, Igor E. Shparlinski, etc., Kwook-Yan Lam, Australia) Wang, Huaxiong University of Wollongong, Chaoping Xing
Inbunden
878 kr