Marcello bonsangue u a (14 resultados)

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures | Elena Giachino (u. a.) | Taschenbuch | ix | Englisch | 2013 | Springer | EAN 9783642406140 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Theory and Practice of Formal Methods | Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday | Erika Ábrahám (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2016 | Springer | EAN 9783319307336 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures | Frank S. De Boer (u. a.) | Taschenbuch | viii | Englisch | 2007 | Springer | EAN 9783540747918 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. It's All About Coordination | Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab | Frank de Boer (u. a.) | Taschenbuch | xii | Englisch | 2018 | Springer | EAN 9783319900889 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures | Frank S. De Boer (u. a.) | Taschenbuch | viii | Englisch | 2006 | Springer | EAN 9783540367499 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Open Object-Based Distributed Systems | 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings | Marcello M. Bonsangue (u. a.) | Taschenbuch | x | Englisch | 2007 | Springer | EAN 9783540729198 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures | Frank S. de Boer (u. a.) | Taschenbuch | viii | Englisch | 2003 | Springer | EAN 9783540203032 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures | Frank S. de Boer (u. a.) | Taschenbuch | viii | Englisch | 2004 | Springer | EAN 9783540229421 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey | Marcello M. Bonsangue (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642041662 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Methods for Components and Objects | 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers | Bernhard Beckert (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642358869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Artificial Intelligence Logic and Applications | 5th International Conference, AILA 2025, Xi'an, China, August 16-17, 2025, Proceedings | Marcello Bonsangue (u. a.) | Taschenbuch | xxii | Englisch | 2026 | Springer | EAN 9789819582617 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Data Science and Artificial Intelligence | Third International Conference, DSAI 2025, Peradeniya, Sri Lanka, November 19-21, 2025, Proceedings | Chutiporn Anutariya (u. a.) | Taschenbuch | xxi | Englisch | 2025 | Springer | EAN 9789819544080 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Data Science and Artificial Intelligence | Second International Conference, DSAI 2024, Medan, Indonesia, November 13-15, 2024, Proceedings | Chutiporn Anutariya (u. a.) | Taschenbuch | xix | Englisch | 2024 | Springer | EAN 9789819797929 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Data Science and Artificial Intelligence | First International Conference, DSAI 2023, Bangkok, Thailand, November 27-29, 2023, Proceedings | Chutiporn Anutariya (u. a.) | Taschenbuch | xxiii | Englisch | 2023 | Springer | EAN 9789819979684 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…