Algol-like Languages
1 689 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
In 1959 John Backus presented a paper on a proposed international algebraic language which evolved into ALGOL 60. This set of two volumes aims to review the attempts over recent years to use programming languages based on ALGOL 60, using Backus' original document as an introduction.
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
571 kr
Verified Software: Theories, Tools, Experiments
Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens
E-bok
2010739 kr
Hoppa över listan
Mer från samma serie
Categorical Combinators, Sequential Algorithms, and Functional Programming
P.-L. Curien
Inbunden, 1993
1 102 kr
Algorithms for Random Generation and Counting: A Markov Chain Approach
A. Sinclair
Inbunden, 1993
1 105 kr
Del 11
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Verified Software: Theories, Tools, Experiments
Gary T. Leavens, Peter O'Hearn, Sriram K Rajamani
Häftad, 2010
571 kr
Verified Software: Theories, Tools, Experiments
Sriram K Rajamani, Peter O'Hearn, Gary T. Leavens
E-bok
2010739 kr