Placeholder text
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8)
By Fred Kröger
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series, Band 8)
By Fred Kröger
0 - Default Title
Product details
Number of Pages:
156
Release Date:
1987-04-16
Publication Date:
1987-04-16
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
3540170308
Weight:
385 g
Currently sold out