Cargando…

An introduction to practical formal methods using temporal logic /

This book provides an introduction to formal methods based on temporal logic, describing techniques for testing and developing complex computational systems. It starts with a full introduction to the subject and then goes into more detail, covering the basics of temporal logics in order to give the...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fisher, Michael, 1962-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Chichester, West Sussex, U.K. ; Hoboken, N.J. : Wiley, 2011.
Temas:
Acceso en línea:Texto completo
Texto completo

Ejemplares similares