𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Modern Formal Methods and Applications || Fundamentals of Formal Methods

✍ Scribed by Gabbar, Hossam A.

Book ID
120294743
Publisher
Springer-Verlag
Year
2006
Tongue
English
Weight
289 KB
Edition
2006
Category
Article
ISBN-13
9781402042225

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Integrating UML and Formal Methods
Integrating UML and Formal Methods
✍ Rafael MagalhΓ£es Borges; Alexandre Cabral Mota πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 335 KB
Software engineering and formal methods
Software engineering and formal methods
✍ Bernhard Aichernig; Bernhard Beckert πŸ“‚ Article πŸ“… 2008 πŸ› Springer-Verlag 🌐 English βš– 66 KB
Ten commandments of formal methods
Ten commandments of formal methods
✍ Bowen, J.P.; Hinchey, M.G. πŸ“‚ Article πŸ“… 1995 πŸ› IEEE 🌐 English βš– 914 KB
The industrialization of formal methods
The industrialization of formal methods
✍ John S. Fitzgerald; Stefania Gnesi; Dino Mandrioli πŸ“‚ Article πŸ“… 2005 πŸ› Springer 🌐 English βš– 98 KB