Comparativa de precios
-
Amazon
Mejor opción
110,42 € Envío gratisTotal 110,42 € 2 días
Compras directamente en la tienda oficial, al mismo precio que yendo por tu cuenta. Los precios y la disponibilidad pueden variar; cada oferta indica cuándo se consultó su precio si no es reciente.
Sobre este libro
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.