Başlık:
Modeling and verification of real-time systems formalisms and software tools
Yazar:
Merz, Stephan.
ISBN:
9780470611012
9780470393598
Yayın Bilgileri:
London, UK : ISTE ; Hoboken, NJ : John Wiley, 2008.
Fiziksel Tanımlama:
1 online resource (393 p.) : ill. (some col.)
Elektronik Erişim:
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 297545-1001 | ONLINE | Arıyor... | Arıyor... |