Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Zoltan Esik, Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana - Recent Advances in Formal Languages and Applications
Zoltan Esik, Zoltán Ésik, Carlos Martin-Vide, Victor Mitrana Recent Advances in Formal Languages and Applications Inglese 12.07.2006 Copertina rigida Fr. 189.00 6-7 settimane
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology Inglese 03.10.2013 Tascabile Fr. 84.00 6-7 settimane
Slim Abdennadher, Thom Frühwirth - Essentials of Constraint Programming
Slim Abdennadher, Thom Frühwirth Essentials of Constraint Programming Inglese 27.02.2003 Copertina rigida Fr. 70.00 6-7 settimane
Georg Lausen, Dan Suciu - Database Programming Languages
Georg Lausen, Dan Suciu Database Programming Languages Inglese 26.01.2004 Tascabile Fr. 70.00 6-7 settimane
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual Inglese 29.01.2004 Tascabile Fr. 70.00 6-7 settimane
Christian Bliek, Christophe Jermann, Arnold Neumaier - Global Optimization and Constraint Satisfaction
Christian Bliek, Christophe Jermann, Arnold Neumaier Global Optimization and Constraint Satisfaction Inglese 05.11.2003 Tascabile Fr. 70.00 6-7 settimane
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support Inglese 18.11.2003 Tascabile Fr. 70.00 6-7 settimane
Rajeev Alur, Insup Lee - Embedded Software
Rajeev Alur, Insup Lee Embedded Software Inglese 29.09.2003 Tascabile Fr. 70.00 6-7 settimane
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems Inglese 12.11.2003 Tascabile Fr. 70.00 6-7 settimane
Corrado Priami - Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
Corrado Priami Global Computing. Programming Environments, Languages, Security, and Analysis of Systems Inglese 24.11.2003 Tascabile Fr. 70.00 6-7 settimane
R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II
R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II Inglese 28.01.2004 Tascabile Fr. 70.00 6-7 settimane
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction Inglese 18.03.2004 Tascabile Fr. 70.00 6-7 settimane
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software Inglese 18.03.2004 Tascabile Fr. 70.00 6-7 settimane
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments Inglese 04.04.2001 Tascabile Fr. 70.00 6-7 settimane
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software Inglese 02.05.2001 Tascabile Fr. 70.00 6-7 settimane
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs Inglese 20.02.2002 Tascabile Fr. 70.00 6-7 settimane
Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming
Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming Inglese 24.03.2004 Tascabile Fr. 70.00 6-7 settimane
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods Inglese 31.03.2004 Tascabile Fr. 70.00 6-7 settimane
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages Inglese 14.06.2004 Tascabile Fr. 70.00 6-7 settimane