Modeling in Event-B

Abrial Jean-Raymond

Kniha

Citace v seznamu literatury:

ABRIAL, Jean-Raymond. Modeling in Event-B: system and software engineering. Cambridge: Cambridge University Press, 2010. ISBN 9780521895569.

skrýt nepovinné údaje zobrazit další údaje

ISBN*:

Jiný identifikátor:

Autoři:

Jméno:	Příjmení:	Role:

Korporace:

Název*:

Podnázev:

Svazek:

Vydání*:

Vyplňte povinné pole

Sekundární odpovědnost:

Místo vydání:

Nakladatelství*:

Rok vydání*:

Počet stran:

Edice:

Subedice:

Číslo edice:

Jazyk:

Poznámka:

Zkontrolovat citaci Uložit