Busquedas:
- Autor/Editor: Redmill, Felix
- Autor/Editor: Clark, Alexander
- Autor/Editor: Silver, Christopher
- Autor/Editor: Wenzel, C.H.
- Autor/Editor: Mohammed, Sabah
- Autor/Editor: Potter, Jesse
- Autor/Editor: Song, Yang
- Autor/Editor: Peng, Wei
- Autor/Editor: Drake, Deborah H.
- Autor/Editor: Tebaldi, Gabriele
- Keyword: Religi
- Autor/Editor: Beldiceanu, Nicolas
- Autor/Editor: Lipton, Joshua
- Autor/Editor: Liu, Changling
- Autor/Editor: Clift, Roland
- Autor/Editor: Kwon, Soonhak
- Autor/Editor: Krishna Raj P.M.
- Autor/Editor: Walker, Kate
- Autor/Editor: Simion, Emil
1/1
Runtime Verification
Autor/Editor: Colombo, Christian - Leucker, Martin
Año de edición: 2018
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Computer Science - Software Engineering - Programming Languages - Compilers - Interpreters - System Performance and Evaluation - Logics and Meanings of Programs - The Computing Profession - Mathematical Logic and Formal Languages
Título de la Serie: Lecture Notes in Computer Science
Tipo de documento: Reunión
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-030-03769-7
ISSN-e: 1611-3349