Unfoldings A Partial-Order Approach to Model Checking için kapak resmi
Başlık:
Unfoldings A Partial-Order Approach to Model Checking
Yazar:
Esparza, Javier. author.
ISBN:
9783540774266
Fiziksel Tanımlama:
online resource.
Seri:
Monographs in Theoretical Computer Science An EATCS Series,
Seri Başlığı:
Monographs in Theoretical Computer Science An EATCS Series, 1431-2654
Yazar Ek Girişi:
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 187868-2001 ONLINE
Arıyor...

On Order