Busquedas:
- Autor/Editor: GutieÌrrez GarciÌa, Ismael
- Autor/Editor: Chakraborty, Debesh
- Autor/Editor: Papadimitriou, Dimitri
- Autor/Editor: Lang, Michael
- Keyword: Humanities
- Autor/Editor: Bērziņa, Dina
- Autor/Editor: GarciÌa Martorell, Claudio
- Autor/Editor: Mørken, Knut
- Autor/Editor: Rustem, Berç
- Autor/Editor: Riis, Jesper
- Autor/Editor: Gašević, Dragan
- Autor/Editor: Aradhya, V. N. Manjunath
- Autor/Editor: O’Gorman, Susanne
- Autor/Editor: TreÌmoli, RubeÌn AdriaÌn
1/1
Web Services and Formal Methods
Autor/Editor: Tuosto, Emilio - Ouyang, Chun
Año de edición: 2014
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: User Interfaces and Human Computer Interaction - Programming Languages - Compilers - Interpreters - Logics and Meanings of Programs - Management of Computing and Information Systems - Software Engineering - Information Systems Applications (incl.Internet)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 8379
Tipo de documento: Reunión
Editor: Springer
ISBN-e: 978-3-319-08260-8
ISSN-e: 1611-3349