Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev - Grand Timely Topics in Software Engineering
Jácome Cunha, João P. Fernandes, Ralf Lämmel, João Saraiva, Vadim Zaytsev Grand Timely Topics in Software Engineering Inglese 29.06.2017 Tascabile Fr. 70.00 6-7 settimane
Mehmet Aksit, Awais Rashid - Transactions on Aspect-Oriented Software Development II
Mehmet Aksit, Awais Rashid Transactions on Aspect-Oriented Software Development II Inglese 03.11.2006 Tascabile Fr. 70.00 6-7 settimane
Andrei Paskevich, Thomas Wies - Verified Software. Theories, Tools, and Experiments
Andrei Paskevich, Thomas Wies Verified Software. Theories, Tools, and Experiments Inglese 15.12.2017 Tascabile Fr. 70.00 6-7 settimane
Shigeru Chiba, Gary T. Leavens, Éric Tanter - Transactions on Aspect-Oriented Software Development X
Shigeru Chiba, Gary T. Leavens, Éric Tanter Transactions on Aspect-Oriented Software Development X Inglese 20.02.2013 Tascabile Fr. 70.00 6-7 settimane
Reiko Heckel, Gabriele Taentzer - Graph Transformation, Specifications, and Nets
Reiko Heckel, Gabriele Taentzer Graph Transformation, Specifications, and Nets Inglese 07.02.2018 Tascabile Fr. 70.00 6-7 settimane
Marco Bernardo, Alessandro Bogliolo - Formal Methods for Mobile Computing
Marco Bernardo, Alessandro Bogliolo Formal Methods for Mobile Computing Inglese 13.04.2005 Tascabile Fr. 70.00 6-7 settimane
Nicola Olivetti, Ashish Tiwari - Automated Reasoning
Nicola Olivetti, Ashish Tiwari Automated Reasoning Inglese 12.06.2016 Tascabile Fr. 110.00 6-7 settimane
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... - On the Move to Meaningful Internet Systems. OTM 2017 Workshops
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... On the Move to Meaningful Internet Systems. OTM 2017 Workshops Inglese 29.01.2018 Tascabile Fr. 70.00 6-7 settimane
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software Inglese 19.07.2012 Tascabile Fr. 66.00 6-7 settimane
Johannes Brauer - Programming Smalltalk - Object-Orientation from the Beginning
Johannes Brauer Programming Smalltalk - Object-Orientation from the Beginning Inglese 09.02.2015 Tascabile Fr. 77.00 6-7 settimane
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems Inglese 26.06.2006 Tascabile Fr. 70.00 6-7 settimane
Ralf Lämmel, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering
Ralf Lämmel, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering Inglese 29.09.2006 Tascabile Fr. 70.00 6-7 settimane
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods Inglese 27.08.2017 Tascabile Fr. 70.00 6-7 settimane
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. de Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects Inglese 20.10.2006 Tascabile Fr. 70.00 6-7 settimane
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... - Languages and Compilers for Parallel Computing
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... Languages and Compilers for Parallel Computing Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... - Ada 2005 Reference Manual. Language and Standard Libraries
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... Ada 2005 Reference Manual. Language and Standard Libraries Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane