Da: preigu, Osnabrück, Germania
EUR 50,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theoretical and Practical Aspects of SPIN Model Checking | 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings | Dennis Dams (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540664994 | 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,15
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. FM 2009: Formal Methods | Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings | Ana Cavalcanti (u. a.) | Taschenbuch | xvii | Englisch | 2009 | Springer | EAN 9783642050886 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.