Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
tarafından
 
Artho, Cyrille. editor.

Başlık
: 
Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Yazar
: 
Artho, Cyrille. editor.

ISBN
: 
9783319054162

Basım Bilgisi
: 
1st ed. 2014.

Fiziksel Tanımlama
: 
X, 297 p. 91 illus. online resource.

Seri
: 
Communications in Computer and Information Science, 419

Konu Terimleri
: 
Computer logic.
 
Software engineering.
 
Computers.

Yazar Ek Girişi
: 
Artho, Cyrille.
 
Ölveczky, Peter Csaba.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-319-05416-2


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap487476-1001ONLINEElektronik Kütüphane