Record Detail

Image of Leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, crete, greece, october 2010, proceedings, part I

E-Book

Leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010 heraklion, crete, greece, october 2010, proceedings, part I



Koleksi ini hanya tersedia dalam bentuk e-book. Untuk dapat mengakses e-book, pemustaka wajib melakukan login ke Member Area dengan menggunakan NIM/No.Reg sebagai Member ID dan password. Hubungi pustakawan melalui email ke perbanas.library[at]perbanas.id atau reza.fauzi[at]perbanas.id untuk mendapatkan password.



Availability

e201702761E-BookPerpustakaan PusatAvailable

Detail Information

Series Title
-
Call Number
e201702761
Publisher : Germany.,
Collation
128 hlm., ilus.
Language
Eng
ISBN/ISSN
3642165575
Classification
e201702761
Content Type
-
Media Type
-
Carrier Type
-
Edition
-
Subject(s)
Specific Detail Info
-
Statement of Responsibility

Other version/related

No other version available


File Attachment