ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
tarafından
Boniol, Frederic. editor.
Başlık
:
ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
Yazar
:
Boniol, Frederic. editor.
ISBN
:
9783319075129
Basım Bilgisi
:
1st ed. 2014.
Fiziksel Tanımlama
:
XII, 161 p. 47 illus. online resource.
Seri
:
Communications in Computer and Information Science, 433
Konu Terimleri
:
Computer logic.
Mathematical logic.
Computers.
Yazar Ek Girişi
:
Boniol, Frederic.
Wiels, Virginie.
Ait Ameur, Yamine.
Schewe, Klaus-Dieter.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 487888-1001 | ONLINE | | Elektronik Kütüphane |