Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Eylem Seç

Başlık:

Yazar:

Hinze, Ralf. editor.

ISBN:

9783319197975

Basım Bilgisi:

1st ed. 2015.

Fiziksel Tanımlama:

XIV, 323 p. 44 illus. online resource.

Seri:

Programming and Software Engineering, 9129

İçerik:

Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.

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	519158-1001	ONLINE	Arıyor... Unknown	Arıyor... Rafta