EUR 49,05
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. High-Integrity System Specification and Design | Jonathan P. Bowen (u. a.) | Taschenbuch | xix | Englisch | 1999 | Springer | EAN 9783540762263 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ZUM'97: The Z Formal Specification Notation | 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings | Jonathan P. Bowen (u. a.) | Taschenbuch | x | Englisch | 1997 | Springer | EAN 9783540627173 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ZB 2002: Formal Specification and Development in Z and B | 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings | Didier Bert (u. a.) | Taschenbuch | xi | Englisch | 2002 | Springer | EAN 9783540431664 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ZUM '98: The Z Formal Specification Notation | 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings | Jonathan P. Bowen (u. a.) | Taschenbuch | xvi | Englisch | 1998 | Springer | EAN 9783540650706 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Abstract State Machines, B and Z | First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings | Egon Börger (u. a.) | Taschenbuch | xii | Englisch | 2008 | Springer | EAN 9783540876021 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | 5th International School, SETSS 2019, Chongqing, China, April 21-27, 2019, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2020 | Springer | EAN 9783030550882 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2017 | Springer | EAN 9783319568409 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Unifying Theories of Programming | 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2017 | Springer | EAN 9783319522272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | Third International School, SETSS 2017, Chongqing, China, April 17-22, 2017, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2018 | Springer | EAN 9783030029272 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods and Testing | An Outcome of the FORTEST Network. Revised Selected Papers | Robert M. Hierons (u. a.) | Taschenbuch | xiii | Englisch | 2008 | Springer | EAN 9783540789161 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 57,50
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Engineering Trustworthy Software Systems | 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2019 | Springer | EAN 9783030176006 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 68,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theories of Programming and Formal Methods | Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday | Jonathan P. Bowen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031404351 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 95,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Provably Correct Systems | Mike Hinchey (u. a.) | Taschenbuch | NASA Monographs in Systems and Software Engineering | xv | Englisch | 2018 | Springer | EAN 9783319839806 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 95,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods: State of the Art and New Directions | Paul Boca (u. a.) | Taschenbuch | xxv | Englisch | 2014 | Springer | EAN 9781447157458 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ZUM '95: The Z Formal Specification Notation | 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings | Jonathan P. Bowen (u. a.) | Taschenbuch | xiii | Englisch | 1995 | Springer | EAN 9783540602712 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. ZB 2003: Formal Specification and Development in Z and B | Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings | Didier Bert (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540402534 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
EUR 137,65
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Industrial-Strength Formal Methods in Practice | Jonathan P. Bowen (u. a.) | Taschenbuch | xvi | Englisch | 1999 | Springer London | EAN 9781852336400 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 140,00
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Electronic Visualisation in Arts and Culture | Jonathan P. Bowen (u. a.) | Taschenbuch | Springer Series on Cultural Computing | xii | Englisch | 2016 | Springer | EAN 9781447172352 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
EUR 213,95
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. The Arts and Computational Culture: Real and Virtual Worlds | Tula Giannini (u. a.) | Taschenbuch | Springer Series on Cultural Computing | xxxiii | Englisch | 2025 | Springer | EAN 9783031538674 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: preigu, Osnabrück, Germania
EUR 95,70
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Provably Correct Systems | Mike Hinchey (u. a.) | Buch | NASA Monographs in Systems and Software Engineering | xv | Englisch | 2017 | Springer | EAN 9783319486277 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Da: preigu, Osnabrück, Germania
EUR 141,20
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Electronic Visualisation in Arts and Culture | Jonathan P. Bowen (u. a.) | Buch | xii | Englisch | 2013 | Springer | EAN 9781447154051 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Da: preigu, Osnabrück, Germania
EUR 159,40
Quantità: 5 disponibili
Aggiungi al carrelloBuch. Condizione: Neu. Museums and Digital Culture | New Perspectives and Research | Tula Giannini (u. a.) | Buch | xxviii | Englisch | 2019 | Springer | EAN 9783319974569 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.