Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
2 sonuç bulundu Arama sonuçlarına abone ol
00DEFAULT_TR
Yazdır
1. 
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever için kapak resmi
Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
Yazar 
Dams, Dennis. editor. Hannemann, Ulrich. editor. Steffen, Martin. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-11512-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings için kapak resmi
FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
Yazar 
Cavalcanti, Ana. editor. Dams, Dennis R. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-05089-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: