Temporal logic in specification by Banieqbal B Ed.; Barringer H Ed.; Pnueli A Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 398Publication details: Berlin Springer Verlag 1989Description: 448p. cmSubject(s): DDC classification: - D65,8(B):5:(R1), M9
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B):5:(R1) M9 (Browse shelf(Opens below)) | Available | SL1024111 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)5G Q7 Towards 5G: Applications, requirements & candidate technologies | D65,8(B)5G Q8 5G Physical layer: Principle, models and technology components | D65,8(B)5G Q8 5G and satellite spectrum, standards, and scale | D65,8(B):5:(R1) M9 Temporal logic in specification | D65,8(B):6 L6 Complexity of computing | D65,8(B)6 P2 Membrane computing: an introduction | D65,8(B)6 P3 TD Introduction to evolutionary computing |
There are no comments on this title.
Log in to your account to post a comment.