1/1
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Autor/Editor: Bernardo, Marco - De Nicola, Rocco - Hillston, Jane
Año de edición: 2016
Acceso: UBA
Idioma: inglés
Colección: Computación
Keywords: Software Engineering - Logics and Meanings of Programs - Programming Languages - Compilers - Interpreters - Probability and Statistics in Computer Science - Mathematical Logic and Formal Languages - Information Systems Applications (incl.Internet)
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9700
Tipo de documento: Monografía
Edición: 1st ed.
Editor: Springer International Publishing
ISBN-e: 978-3-319-34096-8
ISSN-e: 1611-3349