An introduction to practical formal methods using temporal logic

Detalles Bibliográficos
Autor principal: Fisher, Michael
Lenguaje:eng
Publicado: J Wiley & Sons 2011
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/1518490

Internet

http://cds.cern.ch/record/1518490

Ejemplares similares