Frank de boer u a (13 risultati)

Taschenbuch. Condizione: 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. Condizione: Neu. FM 2015: Formal Methods | 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings | Nikolaj Bjørner (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2015 | Springer | EAN 9783319192482 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: 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. Condizione: Neu. Theoretical Computer Science | 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings | Jos C. M. Baeten (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9783642334740 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: 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. Condizione: Neu. Software Engineering and Formal Methods | 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings | Frank de Boer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2020 | Springer | EAN 9783030587673 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Taschenbuch. Condizione: Neu. Active Object Languages: Current Research Trends | Frank de Boer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031510595 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condizione: Neu. Microelectromechanical Systems - Materials and Devices IV | Volume 1299 | Frank W. Delrio (u. a.) | Taschenbuch | Englisch | 2012 | Cambridge University Press | EAN 9781107406834 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. …