Proceeding on automatic verification methods for finite state systems by Sifakis J Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 407Publication details: Berlin Springer-Verlag 1990Description: 382p. cmSubject(s): DDC classification: - D65,8(B):81, N0
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B):81 N0 (Browse shelf(Opens below)) | Available | SL1024106 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B):(8) P7 TD Outsourcing management information systems | D65,8(B):8 Q1 TD Secure semantic service-oriented systems | D65,8(B):81 M5 Structured approach to systems testing | D65,8(B):81 N0 Proceeding on automatic verification methods for finite state systems | D65,8(B):81 P4-;1 Software quality assurance: Principles and practice | D65,8(B):81 P4-;1 Software quality assurance: Principles and practice | D65,8(B):81 P4-;1 Software quality assurance: Principles and practice |
There are no comments on this title.
Log in to your account to post a comment.