Başlık:
Modeling in Event-B system and software engineering
Yazar:
Abrial, Jean-Raymond.
ISBN:
9780511729768
9781139637794
9780521895569
Yayın Bilgileri:
Cambridge ; New York : Cambridge University Press, 2010.
Fiziksel Tanımlama:
1 online resource (xxvi, 586 p.) : ill.
Elektronik Erişim:
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 277993-1001 | ONLINE | Arıyor... | Arıyor... |