Modeling in Event-B : system and software engineering /

"A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement, the author's systematic approach allows the use...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Abrial, Jean-Raymond
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge ; New York : Cambridge University Press, 2010.
Temas:
Formal methods (Computer science)
B method (Computer science)
Computer science > Mathematical models.
Computer systems > Verification.
Méthodes formelles (Informatique)
Méthode B (Informatique)
Informatique > Modèles mathématiques.
Systèmes informatiques > Vérification.
COMPUTERS > Reference.
COMPUTERS > Machine Theory.
COMPUTERS > Computer Literacy.
COMPUTERS > Information Technology.
COMPUTERS > Data Processing.
COMPUTERS > Computer Science.
COMPUTERS > Hardware > General.
Computer science > Mathematical models
Computer systems > Verification
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares