Temporal logic in specification by Banieqbal B Ed.; Barringer H Ed.; Pnueli A Ed.

By: Contributor(s): Material type: TextTextLanguage: English Series: Lecture notes in computer science; 398Publication details: Berlin Springer Verlag 1989Description: 448p. cmSubject(s): DDC classification:
  • D65,8(B):5:(R1), M9
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Call number Status Barcode
Textual Textual Central Science Library Central Science Library D65,8(B):5:(R1) M9 (Browse shelf(Opens below)) Available SL1024111

There are no comments on this title.

to post a comment.