Başlık:
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Yazar:
Schnieder, Eckehard. editor.
ISBN:
9783642142611
Basım Bilgisi:
1st ed. 2011.
Fiziksel Tanım:
XI, 257 p. online resource.
Tüzel Kişi Ek Girişi:
Elektronik Erişim:
https://doi.org/10.1007/978-3-642-14261-1Mevcut:*
Library | Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
|---|---|---|---|---|
Arıyor... | E-Book | 164674-1001 | TH9701 -9745 | Arıyor... |