Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jin Song Dong, James Woodcock, Jim Woodcock - Formal Methods and Software Engineering
Jin Song Dong, James Woodcock, Jim Woodcock Formal Methods and Software Engineering Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Elie Najm, Uw Nestmann, Uwe Nestmann, Perdita Stevens - Formal Methods for Open Object-Based Distributed Systems
Elie Najm, Uw Nestmann, Uwe Nestmann, Perdita Stevens Formal Methods for Open Object-Based Distributed Systems Inglese 26.06.2009 Tascabile Fr. 70.00 6-7 settimane
Vijay A. Saraswat - Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation
Vijay A. Saraswat Advances in Computing Science - ASIAN 2003, Programming Languages and Distributed Computation Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola - Coordination Models and Languages
Rocco De Nicola, Rocco DeNicola, Gianluigi Ferrari, Greg Meredith, Rocco de Nicola Coordination Models and Languages Inglese 19.08.2005 Tascabile Fr. 70.00 6-7 settimane
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith - Integrated Formal Methods
Eerke Boiten, Eerke A. Boiten, John Derrick, Graeme Smith Integrated Formal Methods Inglese 23.08.2005 Tascabile Fr. 70.00 6-7 settimane
Lawrence Rauchwerger - Languages and Compilers for Parallel Computing
Lawrence Rauchwerger Languages and Compilers for Parallel Computing Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
David Schmidt - Programming Languages and Systems
David Schmidt Programming Languages and Systems Inglese 25.08.2005 Tascabile Fr. 169.00 6-7 settimane
Tiziana Margaria-Steffen, Michel Wermelinger - Fundamental Approaches to Software Engineering
Tiziana Margaria-Steffen, Michel Wermelinger Fundamental Approaches to Software Engineering Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
R. Sharp, Richard Sharp - Higher-Level Hardware Synthesis
R. Sharp, Richard Sharp Higher-Level Hardware Synthesis Inglese 22.04.2004 Tascabile Fr. 70.00 6-7 settimane
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing - Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002
Simonetta Balsamo, Alexande Knapp, Alexander Knapp, Martin Wirsing Radical Innovations of Software and Systems Engineering in the Future, RISSEF 2002 Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses - CASL Reference Manual
Pete D Mosses, Peter D Mosses, P. D. Mosses, Peter D. Mosses CASL Reference Manual Inglese 22.04.2004 Tascabile Fr. 135.00 6-7 settimane
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland - Mathematics of Program Construction
Dexte Kozen, Dexter Kozen, Dexter C. Kozen, Shankland, Shankland, Carron Shankland Mathematics of Program Construction Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau - Component-Based Software Engineering
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt Wallnau Component-Based Software Engineering Inglese 18.08.2005 Tascabile Fr. 70.00 6-7 settimane
Stefano Berardi, Mario Coppo, Ferruccio Damiani - Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani Types for Proofs and Programs Inglese 24.08.2005 Tascabile Fr. 70.00 6-7 settimane
Alber Llamosi, Albert Llamosi, Strohmeier, Strohmeier, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2004
Alber Llamosi, Albert Llamosi, Strohmeier, Strohmeier, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2004 Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom - Rewriting Techniques and Applications
Vincent van Oostrom, Vincen van Oostrom, Vincent van Oostrom Rewriting Techniques and Applications Inglese 16.08.2005 Tascabile Fr. 70.00 6-7 settimane
Igor Walukiewicz - Foundations of Software Science and Computation Structures
Igor Walukiewicz Foundations of Software Science and Computation Structures Inglese 25.08.2005 Tascabile Fr. 70.00 6-7 settimane
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida - CONCUR 2004 -- Concurrency Theory
Philipp Gardner, Philippa Gardner, Yoshida, Yoshida, Nobuko Yoshida CONCUR 2004 -- Concurrency Theory Inglese 29.08.2005 Tascabile Fr. 70.00 6-7 settimane
Robert Giacobazzi, Roberto Giacobazzi - Static Analysis
Robert Giacobazzi, Roberto Giacobazzi Static Analysis Inglese 17.08.2005 Tascabile Fr. 70.00 6-7 settimane
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Yassin Lakhnech, Yassine Lakhnech, Yovine, Yovine, Sergio Yovine Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Inglese 21.06.2005 Tascabile Fr. 70.00 6-7 settimane