Search Results for Boulanger, Jean-Louis.

Skip to:Search Results

|

|

|

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Yazar

Boulanger, Jean-Louis.

(3)

Boulanger, Jean-Louis, author.

(2)

Boulanger, Jean-Louis, editor.

(2)

Dil

(7)

Yayın Yılı

-

(2)

(1)

(1)

(1)

(1)

(1)

Tümünü genişlet

Konu

Application software -- Development.

(3)

Formal methods (Computer science)

(3)

Avionics -- Safety measures.

(1)

B method (Computer science)

(1)

Computer architecture.

(1)

Computer security.

(1)

Computer simulation.

(1)

Computer software -- Verification.

(1)

Computer systems -- Reliability.

(1)

Industrial management -- Mathematical models.

(1)

Nondestructive testing.

(1)

Software engineering.

(1)

Systems engineering -- Data processing.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

7 sonuç bulundu

Arama sonuçlarına abone ol

1

0000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Safety of computer architectures için kapak resmi

Safety of computer architectures

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

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

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

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

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

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

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:

1

Go to:Search Results

|

|

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11