Número de Cutter-SanbornH642wEntrada «Hild» → 642 · marca de obra “w”

Web Services, Formal Methods, and Behavioral Types

Name: Web Services, Formal Methods, and Behavioral Types
ISBN: 9783319336121

11th International Workshop, WS-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Edición de la obra Web Services, Formal Methods, and Behavioral Types

Autor	Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich

Web Services, Formal Methods, and Behavioral Types (2016) — ISBN 9783319336121 | Cutter Number