Başlık:
Formal methods applied to complex systems : implementation of the B Method
Yazar:
Boulanger, Jean-Louis, editor.
ISBN:
9781119002680
9781119002727
Fiziksel Tanımlama:
1 online resource.
Seri:
Computer engineering series
Computer engineering series (London, England)
Yazar Ek Girişi:
Elektronik Erişim:
ebrary An electronic book accessible through the World Wide Web; click to viewJohn Wiley http://dx.doi.org/10.1002/9781119002727
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 342119-1001 | ONLINE(342119.1) | Arıyor... | Arıyor... |