b method Books

1 books in this genre

Modeling in event-b

Jean-Raymond Abrial

(∞) — Footer · EndMMXXVI · 2026

(01) GoN° 7

(02) ReadN° 10

(03) GuidesN° 1

(04) SignedMMXXVI

A reading life,
recorded with love — by Booklogr.

— A small library. Built for readers.

Some links on Booklogr are affiliate links — we may earn a small commission from qualifying purchases at no extra cost to you. Learn more.