Disponibiltà
Versione linguistica
Categoria
Forma del prodotto
prezzo massimo
CHF

Risultato ricerca nella categoria Libri (programtransformation)

Juliana Bowles, Søndergaard, Harald Søndergaard - Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
Juliana Bowles, Søndergaard, Harald Søndergaard Logic-Based Program Synthesis and Transformation Inglese 07.09.2024 Tascabile CHF 90.00 4-7 giorni lavorativi
F Morales, Manuel V Hermenegildo, Manuel V. Hermenegildo, José F. Morales, Manuel V Hermenegildo - Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
F Morales, Manuel V Hermenegildo, Manuel V. Hermenegildo, José F. Morales, Manuel V Hermenegildo Static Analysis Inglese 07.12.2023 Tascabile CHF 112.00 4-7 giorni lavorativi
Robert Glück, Kafle, Bishoksan Kafle - Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Robert Glück, Kafle, Bishoksan Kafle Logic-Based Program Synthesis and Transformation Inglese 01.12.2023 Tascabile CHF 76.00 4-7 giorni lavorativi
Martin Kutrib, Meyer, Uwe Meyer - Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings
Martin Kutrib, Meyer, Uwe Meyer Reversible Computation Inglese 23.08.2023 Tascabile CHF 90.00 4-7 giorni lavorativi
Jan Friso Groote, Jan Friso Groote, Huisman, Marieke Huisman - Formal Methods for Industrial Critical Systems 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
Jan Friso Groote, Jan Friso Groote, Huisman, Marieke Huisman Formal Methods for Industrial Critical Systems Inglese 12.08.2022 Tascabile CHF 96.00 4-7 giorni lavorativi
Fred Mesnard, Peter J. Stuckey - Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Fred Mesnard, Peter J. Stuckey Logic-Based Program Synthesis and Transformation Inglese 23.02.2019 Tascabile CHF 69.00 4-7 giorni lavorativi
Sukyoung Ryu - Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings
Sukyoung Ryu Programming Languages and Systems Inglese 22.10.2018 Tascabile CHF 69.00 4-7 giorni lavorativi
Francesco Ranzato - Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
Francesco Ranzato Static Analysis Inglese 21.08.2017 Tascabile CHF 69.00 4-7 giorni lavorativi
Christian Prehofer - Solving Higher-Order Equations From Logic to Programming
Christian Prehofer Solving Higher-Order Equations Inglese 07.11.2013 Tascabile CHF 134.00 4-7 giorni lavorativi
Peter Padawitz - Computing in Horn Clause Theories
Peter Padawitz Computing in Horn Clause Theories Inglese 05.12.2012 Tascabile CHF 69.00 4-7 giorni lavorativi
Chris Hankin, Flemmin Nielson, Flemming Nielson, Hanne Nielson, Hanne R Nielson, … - Principles of Program Analysis
Chris Hankin, Flemmin Nielson, Flemming Nielson, Hanne Nielson, Hanne R Nielson, … Principles of Program Analysis Inglese 14.10.2010 Tascabile CHF 78.00 4-7 giorni lavorativi
Rajiv Gupta - Compiler Construction 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
Rajiv Gupta Compiler Construction Inglese 16.03.2010 Tascabile CHF 69.00 4-7 giorni lavorativi
Haral Ganzinger, Harald Ganzinger, Jones, Jones, Neil Jones, … - Programs as Data Objects Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
Haral Ganzinger, Harald Ganzinger, Jones, Jones, Neil Jones, … Programs as Data Objects Inglese 29.06.2009 Tascabile CHF 49.90 4-7 giorni lavorativi
Dezani-Ciancaglini, M Dezani-Ciancaglini, M. Dezani-Ciancaglini, Montanari, Montanari, … - International Symposium on Programming 5th Colloquium, Turin, April 6-8, 1982. Proceedings
Dezani-Ciancaglini, M Dezani-Ciancaglini, M. Dezani-Ciancaglini, Montanari, Montanari, … International Symposium on Programming Inglese 26.06.2009 Tascabile CHF 49.90 4-7 giorni lavorativi
I Guessarian, I. Guessarian - Algebraic Semantics
I Guessarian, I. Guessarian Algebraic Semantics Inglese 26.06.2009 Tascabile CHF 29.90 4-7 giorni lavorativi
Christian Prehofer - Solving Higher-Order Equations From Logic to Programming
Christian Prehofer Solving Higher-Order Equations Inglese 26.06.2009 Copertina rigida CHF 134.00 1-2 settimane
Janos Csirik, Janos Demetrovics, Feren Gecseg, Ferenc Gecseg - Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Janos Csirik, Janos Demetrovics, Feren Gecseg, Ferenc Gecseg Fundamentals of Computation Theory Inglese 26.06.2009 Tascabile CHF 69.00 4-7 giorni lavorativi
Walid Taha - Semantics, Applications, and Implementation of Program Generation International Workshop, SAIG 2000 Montreal, Canada, September 20, 2000 Proceedings
Walid Taha Semantics, Applications, and Implementation of Program Generation Inglese 19.02.2009 Tascabile CHF 69.00 4-7 giorni lavorativi
Sandeep Kulkarni, Andre Schiper - Stabilization, Safety, and Security of Distributed Systems 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
Sandeep Kulkarni, Andre Schiper Stabilization, Safety, and Security of Distributed Systems Inglese 06.11.2008 Tascabile CHF 69.00 4-7 giorni lavorativi
Sandro Etalle - Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Sandro Etalle Logic Based Program Synthesis and Transformation Inglese 24.06.2005 Tascabile CHF 69.00 4-7 giorni lavorativi