Su búsqueda retornó 2 resultados.

Resultados
		Concise Guide to Software Verification [electronic resource] : From Model Checking to Annotation Checking / by Marieke Huisman, Anton Wijs. por Huisman, Marieke [author.] \| Wijs, Anton [author.] \| SpringerLink (Online service). Series Texts in Computer ScienceEdición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model Checking Software [recurso electrónico] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bo?na?ki, Anton Wijs. por Bo?na?ki, Dragan [editor.] \| Wijs, Anton [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9641Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda