Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (Denotational semantics)

Augusto Sampaio, Stoelinga, Marielle Stoelinga - Formal Methods 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II
Augusto Sampaio, Stoelinga, Marielle Stoelinga Formal Methods Inglese Tascabile CHF 123.00 Pubblicazione il 23.07.2026
Augusto Sampaio, Stoelinga, Marielle Stoelinga - Formal Methods 27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
Augusto Sampaio, Stoelinga, Marielle Stoelinga Formal Methods Inglese 23.07.2026 Tascabile CHF 55.90 6-7 settimane
Wolfgang Schreiner - Thinking Programs Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Wolfgang Schreiner Thinking Programs Inglese 05.09.2025 Copertina rigida CHF 97.00 6-7 settimane
Martin Erwig, Martin (Oregon State University) Erwig, Erwig Martin - Programming Language Fundamentals A Metalanguage Approach in Elm
Martin Erwig, Martin (Oregon State University) Erwig, Erwig Martin Programming Language Fundamentals Inglese 04.08.2024 Copertina rigida CHF 130.00 1-3 settimane
D.e. Stevenson - Programming Language Fundamentals By Example
D.e. Stevenson Programming Language Fundamentals By Example Inglese 18.12.2020 Tascabile CHF 100.00 1-3 settimane
Pascal Hitzler, Pascal (Kno.e.sis Center At Wright State Hitzler, Pascal Seda Hitzler, Hitzler Pascal, Anthony Seda, … - Mathematical Aspects of Logic Programming Semantics
Pascal Hitzler, Pascal (Kno.e.sis Center At Wright State Hitzler, Pascal Seda Hitzler, Hitzler Pascal, Anthony Seda, … Mathematical Aspects of Logic Programming Semantics Inglese 14.06.2017 Tascabile CHF 130.00 1-3 settimane
Doaitse Swierstra, Doaitse Swierstra, Albert Pardo, Alberto Pardo, S. Doaitse Swierstra - Programming Languages 19th Brazilian Symposium SBLP 2015, Belo Horizonte, Brazil, September 24-25, 2015, Proceedings
Doaitse Swierstra, Doaitse Swierstra, Albert Pardo, Alberto Pardo, S. Doaitse Swierstra Programming Languages Inglese 01.01.2015 Tascabile CHF 56.90 6-7 settimane
Pascal Hitzler, Pascal (Kno.e.sis Center At Wright State Hitzler, Pascal Seda Hitzler, Hitzler Pascal, Anthony Seda, … - Mathematical Aspects of Logic Programming Semantics
Pascal Hitzler, Pascal (Kno.e.sis Center At Wright State Hitzler, Pascal Seda Hitzler, Hitzler Pascal, Anthony Seda, … Mathematical Aspects of Logic Programming Semantics Inglese 22.11.2010 Copertina rigida CHF 330.00 3-5 settimane
Stevenson D.e., D. E. Stevenson, D.e. Stevenson, D.e. (Clemson University Stevenson - Programming Language Fundamentals By Example
Stevenson D.e., D. E. Stevenson, D.e. Stevenson, D.e. (Clemson University Stevenson Programming Language Fundamentals By Example Inglese 10.11.2006 Copertina rigida CHF 156.00 3-5 settimane
Allen Kent, Kent Allen, James G Williams, James G. Williams, Williams James G. - Encyclopedia of Computer Science and Technology Volume 41 - Supplement 26 - Application of Bayesan Belief Networks to Highway Construction to Virtual Reality Software and Technology
Allen Kent, Kent Allen, James G Williams, James G. Williams, Williams James G. Encyclopedia of Computer Science and Technology Inglese 19.08.1999 Copertina rigida CHF 360.00 3-5 settimane
Kueker, David Kueker, Kueker David, David W Kueker, David W. Kueker, … - Mathematical Logic and Theoretical Computer Science
Kueker, David Kueker, Kueker David, David W Kueker, David W. Kueker, … Mathematical Logic and Theoretical Computer Science Inglese 22.12.1986 Tascabile CHF 446.00 3-5 settimane