Artículos relacionados a Formal Methods: An Appetizer
Sinopsis
Program Graphs.- Guarded Commands.- Program Verification.- Program Analysis.- Language-Based Security.- Model Checking.- Procedures.- Concurrency.- Epilogue.- App. A, The MicroC Language.- App. B, Programming Projects.- App. C, Realisation in F#.- App. D, A Learning Environment.- Symbols.- Index.
"Sinopsis" puede pertenecer a otra edición de este libro.
(Ningún ejemplar disponible)
Buscar: Crear una petición¿No encuentra el libro que está buscando? Seguiremos buscando por usted. Si alguno de nuestros vendedores lo incluye en IberLibro, le avisaremos.
Crear una petición
