Concise guide to formal methods : theory, fundamentals and industry applications /

Guardado en:
Detalles Bibliográficos
Autor principal: O'Regan, Gerard
Formato: Libro
Lenguaje:Inglés
Publicado: Cham, Switzerland: Springer, 2017 (c)
Colección:Undergraduate topics in computer science
Materias:
Aporte de:Registro referencial: Solicitar el recurso aquí

Ejemplares similares