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ç
14 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal methods applied to complex systems : implementation of the B Method için kapak resmi
Formal methods applied to complex systems : implementation of the B Method
Yazar 
Boulanger, Jean-Louis, editor.
Yer Numarası 
ONLINE(342119.1)
Elektronik Erişim 
ebrary An electronic book accessible through the World Wide Web; click to view
John Wiley http://dx.doi.org/10.1002/9781119002727
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Formal methods applied to industrial complex systems için kapak resmi
Formal methods applied to industrial complex systems
Yazar 
Boulanger, Jean-Louis, editor.
Yer Numarası 
ONLINE(342122.1)
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9781119004707
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Formal methods for industrial critical systems a survey of applications için kapak resmi
Formal methods for industrial critical systems a survey of applications
Yazar 
Gnesi, Stefania, 1954- Margaria-Steffen, Tiziana, 1964-
Yer Numarası 
ONLINE
Elektronik Erişim 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Industrial used of formal method formal verification için kapak resmi
Industrial used of formal method formal verification
Yazar 
Boulanger, Jean-Louis.
Yer Numarası 
ONLINE
Elektronik Erişim 
Wiley http://dx.doi.org/10.1002/9781118561829
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Modeling in Event-B system and software engineering için kapak resmi
Modeling in Event-B system and software engineering
Yazar 
Abrial, Jean-Raymond.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=317644
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Digital system verification a combined formal methods and simulation framework için kapak resmi
Digital system verification a combined formal methods and simulation framework
Yazar 
Li, Lun, 1970- Thornton, Mitchell Aaron.
Yer Numarası 
ONLINE
Elektronik Erişim 
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=440373
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Teamwork in multi-agent systems a formal approach için kapak resmi
Teamwork in multi-agent systems a formal approach
Yazar 
Dunin-Kȩplicz, Barbara. Verbrugge, Rineke. Wiley InterScience (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
John Wiley http://dx.doi.org/10.1002/9780470665237
http://site.ebrary.com/lib/alltitles/Doc?id=10389590
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Process algebra for parallel and distributed processing için kapak resmi
Process algebra for parallel and distributed processing
Yazar 
Alexander, Michael, 1970 Sept. 25- Gardner, William, 1952-
Yer Numarası 
ONLINE
Elektronik Erişim 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Practical UML statecharts in C/C++ event-driven programming for embedded systems için kapak resmi
Practical UML statecharts in C/C++ event-driven programming for embedded systems
Yazar 
Samek, Miro.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9780750687065
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Modeling and verification of real-time systems formalisms and software tools için kapak resmi
Modeling and verification of real-time systems formalisms and software tools
Yazar 
Merz, Stephan. Navet, Nicolas.
Yer Numarası 
ONLINE
Elektronik Erişim 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
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: