eBooks :: Kembali

eBooks :: Kembali

Formal methods for industrial critical systems : 17th international workshop, FMICS 2012, Paris, France, August 27-28, 2012 : proceedings

Marielle Stoelinga, Ralf Pinger ([, Springer-Verlag ], 2012)

 Abstrak

The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

 File Digital: 1

Shelf
 Foundations of Health Informatics Engineering and Systems.pdf :: Unduh

LOGIN required

 Kata Kunci

 Metadata

Jenis Koleksi : eBooks
No. Panggil : e20410082
Entri utama-Nama orang :
Entri tambahan-Nama orang :
Subjek :
Penerbitan : Berlin: [, Springer-Verlag ], 2012
Sumber Pengatalogan: LibUI eng rda
Tipe Konten: text
Tipe Media: computer
Tipe Pembawa: online resource
Deskripsi Fisik:
Tautan: http://link.springer.com/book/10.1007%2F978-3-642-32469-7
Lembaga Pemilik:
Lokasi:
  • Ketersediaan
  • Ulasan
  • Sampul
No. Panggil No. Barkod Ketersediaan
e20410082 TERSEDIA
Ulasan:
Tidak ada ulasan pada koleksi ini: 20410082
Cover
 Lihat juga