Temporal Logic of Programs

von Fred Kröger

Springer-Verlag GmbH · 1987

Gebunden

ISBN: 978-3-540-17030-3

ISBN-10: 3-540-17030-8