Cover von Temporal logic in specification opens in new tab

Temporal logic in specification

Altrincham, UK, April 8 - 10, 1987 : proceedings
Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 398
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 398 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

Colloquium on temporal logic in specification <1987, Altrincham>

Details

Search for this author
Year: 1989
Publisher: Berlin, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 3-540-51803-7
ISBN (2nd): 0-387-51803-7
Description: VI, 448 S.
Series: Lecture notes in computer science; 398
Participating parties: Search for this character Bani-Eqbal, Behnam; Barringer, Howard; Pnueli, Amir
Media group: MONOGRAPHIE