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. 
Verification of systems and circuits using LOTOS, Petri Nets, and CCS için kapak resmi
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Yazar 
Yoeli, Michael, 1917- Kol, Rakefet.
Yer Numarası 
ONLINE
Elektronik Erişim 
Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Verification and validation for quality of UML 2.0 models için kapak resmi
Verification and validation for quality of UML 2.0 models
Yazar 
Unhelkar, Bhuvan. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Click for information
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0619/2004065931-b.html
John Wiley http://dx.doi.org/10.1002/0471734322
http://swb.eblib.com/patron/FullRecord.aspx?p=238767
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: