Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Eylem Seç

Başlık:

Yazar:

Yoeli, Michael, 1917-

ISBN:

9780470253397

9780470253410

Yayın Bilgileri:

Hoboken, N.J. : Wiley-Interscience, c2008.

Fiziksel Tanımlama:

1 online resource (xv, 231 p.) : ill.

Seri:

Wiley series on parallel and distributed computing

Seri Başlığı:

Wiley series on parallel and distributed computing

Konu Terimleri:

Tür:

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