Record Detail

`E-Book`

Real-time system: formal specification and automatic verification

Olderdog, E.R - Personal Name
Dierks, H. - Personal Name

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

e201702347 E-Book Perpustakaan Pusat Available

Detail Information

Series Title	-
Call Number	e201702347
Publisher	Cambridge University Press : USA., 2008
Collation	338hlm., ilus.
Language	Eng
ISBN/ISSN	9780511429217
Classification	e201702347
Content Type	-
Media Type	-
Carrier Type	-
Edition	-
Subject(s)	SYSTEM
Specific Detail Info	-
Statement of Responsibility	-

Other version/related

No other version available

File Attachment

Real-time system: formal specification and automatic verification

Record Detail

`E-Book`

Real-time system: formal specification and automatic verification

Availability

Detail Information

Other version/related

File Attachment

Information

Links

Digital Library | Perbanas Institute

Library Management System