Clicky

Temporal logic and state systems by Fred Kröger and similar books you'll love - Bookscovery

Home > Authors > Fred Kröger > Temporal logic and state systems

Buy at: Bookshop.org Amazon

Temporal logic and state systems

Fred Kröger, Stephan Merz

Recent activity

Rate this book to see your activity here.

4 Books Similar to Temporal logic and state systems by Fred Kröger

Bookscovery readers who liked Temporal logic and state systems also like Einführung in die Informatik, Einführung in die Informatik and Temporal Logic of Programs. How many of these have you read?

Einführung in die Informatik by Fred Kröger

Cover of Einführung in die Informatik
Buy this book at:
Bookshop.org Amazon

Einführung in die Informatik by Fred Kröger

Cover of Einführung in die Informatik
Buy this book at:
Bookshop.org Amazon

Temporal Logic of Programs by Fred Kröger

Cover of Temporal Logic of Programs
Buy this book at:
Bookshop.org Amazon

Interactive Theorem Proving by Jasmin Christian Blanchette

Cover of Interactive Theorem Proving
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Temporal logic and state systems

Please sign in to leave a comment