Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Eylem Seç

Başlık:

Yazar:

Shukla, Sandeep K. editor.

ISBN:

9781441964007

Fiziksel Tanımlama:

XV, 300p. 200 illus., 100 illus. in color. online resource.

Konu Terimleri:

Yazar Ek Girişi:

Tüzel Kişi Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	172585-2001	ONLINE	Arıyor... Unknown	Arıyor... Rafta