From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014 | Kaicus España

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, ... 8415

El libro presenta las contribuciones del taller ETAPS 2014 sobre la perspectiva sistémica en informática, destacando enfoques formales para modelar y verificar sistemas complejos desarrollados a partir de programas individuales.

Marca: Saddek Bensalem
ISBN: 3642548474
MPN: 76 black & white illustrations, biograph
Patrocinado  Este sitio contiene enlaces de afiliados por los cuales podríamos recibir una compensación. Más información
Colección THEORETICAL COMPUTER SCIENCE AND GENERAL ISSUES
Editorial SPRINGER NATURE
Idiomas Inglés
ISBN 9783642548475
Páginas 292