Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

Eylem Seç

Başlık:

Yazar:

Johnsen, Einar Broch. editor.

ISBN:

9783642386138

Fiziksel Tanımlama:

XIV, 443 p. 95 illus. online resource.

Seri:

Lecture Notes in Computer Science, 7940

Konu Terimleri:

Yazar Ek Girişi:

Tüzel Kişi Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	334634-1001	ONLINE(334634.1)	Arıyor... Unknown	Arıyor... Rafta