Jean-Raymond Abrial szerző bemutatása:

Jean-Raymond Abrial szerző eddig megjelent könyvei:

Modellezés az Event-B-ben: Rendszer- és szoftverfejlesztés - Modeling in Event-B: System and...

Ez a könyv a formális módszerek bevezető vagy...