Algol-like Languages
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 författare
Verified Software: Theories, Tools, Experiments
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Häftad, 2010
561 kr
Verified Software: Theories, Tools, Experiments
Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens
E-bok
2010708 kr
Hoppa över listan
Mer från samma serie
Categorical Combinators, Sequential Algorithms, and Functional Programming
P.-L. Curien
Inbunden, 1993
1 082 kr
Algorithms for Random Generation and Counting: A Markov Chain Approach
A. Sinclair
Inbunden, 1993
1 082 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, 2001
892 kr
Del 11