Arama Sonuçlarını Sınırlandır
Yazar
Dil
Yayın Yılı
-
Konu
Formal methods (Computer science)
(14)
B method (Computer science)
(2)
Computer software -- Development.
(2)
Computer software -- Verification.
(2)
Electronic books.
(2)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
17 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULT_TR
Yazdır
1. 
Verification techniques for system-level design için kapak resmi
Verification techniques for system-level design
Yazar 
Fujita, Masahiro, 1956- Ghosh, Indradeep, 1970- Prasad, Mukul.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780123706164
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi
Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking
Yazar 
Drusinsky, Doron.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750679497
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Software specification methods için kapak resmi
Software specification methods
Yazar 
Habrias, Henri. Frappier, Marc, 1965- Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2006009290-b.html
John Wiley http://dx.doi.org/10.1002/9780470612514
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Cafe an industrial-strength algebraic formal method için kapak resmi
Cafe an industrial-strength algebraic formal method
Yazar 
Futatsugi, Kokichi. Tamai, T. (Tetsuo) Nakagawa, A. T. (Ataru T.)
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780444505569
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Dynamic logic için kapak resmi
Dynamic logic
Yazar 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: