Verified Software: Theories, Tools, Experiments
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Häftad
553 kr
Del i serien Progress in Theoretical Computer Science
1 689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Mer från samma serie
Categorical Combinators, Sequential Algorithms, and Functional Programming
P.-L. Curien
Inbunden
1 066 kr
Del 11
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
879 kr
Del 11