Da: preigu, Osnabrück, Germania
EUR 49,25
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Abstract State Machines, Alloy, B, VDM, and Z | Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings | John Derrick (u. a.) | Taschenbuch | xv | Englisch | 2012 | Springer | EAN 9783642308840 | 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,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Integrated Formal Methods | 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009, Proceedings | Michael Leuschel (u. a.) | Taschenbuch | x | Englisch | 2009 | Springer | EAN 9783642002540 | 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 72,75
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Rigorous State-Based Methods | 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, Proceedings | Silvia Bonfanti (u. a.) | Taschenbuch | xv | Englisch | 2024 | Springer | EAN 9783031637896 | 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 122,10
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Rigorous State-Based Methods | 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, Proceedings | Michael Leuschel (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxi | Englisch | 2025 | Springer | EAN 9783031945328 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.