Home / Authors / Fred Kröger

Books by Fred Kröger

All books by this author

1 book found ← Back to Search
Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series)
🇺🇸 United States
Temporal Logic of Programs (Monographs in Theoretical Compu…
By: Fred Kröger
View Details