Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
7 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
1. 
Safety of computer architectures için kapak resmi
Safety of computer architectures
Yazar 
Boulanger, Jean-Louis.
Yer Numarası 
ONLINE
Elektronik Erişim 
Connect to MyiLibrary resource.
Wiley http://onlinelibrary.wiley.com/book/10.1002/9781118600696
John Wiley http://dx.doi.org/10.1002/9781118600696
ebrary http://site.ebrary.com/id/10657623
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Certifiable software applications. 1, Main processes için kapak resmi
Certifiable software applications. 1, Main processes
Yazar 
Boulanger, Jean-Louis.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect http://www.sciencedirect.com/science/book/9781785481178
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
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:
4. 
Certifiable software applications. 3, Downward cycle için kapak resmi
Certifiable software applications. 3, Downward cycle
Yazar 
Boulanger, Jean-Louis, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect https://www.sciencedirect.com/science/book/9781785481192
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Certifiable software applications. 2, Support processes için kapak resmi
Certifiable software applications. 2, Support processes
Yazar 
Boulanger, Jean-Louis, author.
Yer Numarası 
ONLINE
Elektronik Erişim 
ScienceDirect https://www.sciencedirect.com/science/book/9781785481185
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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:
7. 
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: