ABZ 2014: The Landing Gear Case Study | Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2014
- Brossura
- Nuovo
Da: preigu, Osnabrück, Germaniapreigu
Venditore AbeBooks dal 5 agosto 2024
Condizione: Nuovo
EUR 50,45
Descrizione dell’articolo da parte del venditore
ABZ 2014: The Landing Gear Case Study | Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings | Frederic Boniol (u. a.) | Taschenbuch | Communications in Computer and Information Science | xii | Englisch | 2014 | Springer | EAN 9783319075112 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Codice articolo 105295172
- Titolo
- ABZ 2014: The Landing Gear Case Study | Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
- Autore
- Frederic Boniol (u. a.)
- Editore
- Springer
- Anno di pubblicazione
- 2014
- Condizione
- Neu
- Rilegatura
- Taschenbuch
- Lingua
- inglese
- ISBN 10
- 331907511X
- ISBN 13
- 9783319075112
- Peso dell'articolo
- 277 grammi
- Dimensioni
- 235 x 155 x 10 mm
- Cataloghi dei venditori
- Bücher
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.