Modeling in Event-B : system and software engineering /
- Podtytuł:
- system and software engineering /
- Autor:
- Abrial, Jean-Raymond.
- Hasło dodatkowe:
- Cambridge University Press.
- Odpowiedzialność:
- Jean-Raymond Abrial.
- Miejsce:
- Cambridge [etc.] :
- Wydany przez :
- Cambridge University Press,
- w roku:
- 2010.
- Opis fizyczny:
- XXVI, 586 s. : il. ; 25 cm.
- Uwagi:
-
Bibliogr. przy rozdz. Indeks.
- ISBN:
- 978-0-521-89556-9
- UKD:
- 51-7:004.414.23](075.8)=111
Dostępne pozycje
| Egzemplarz | ||||||
|---|---|---|---|---|---|---|
| miejsce | numer inwentarzowy | sygnatura | status | data zwrotu | akcje | |
| T T.16670 krótkoterminowe | T.16670 |
Czytelnia ul. Cukrowa 8 : SIL obcojęzyczny T.16670 |
krótkoterminowe | Zamów | ||