Kröger, Fred, 1945-
Temporal logic and state systems / Fred Kröger, Stephan Merz. -- Softcover reprint of the hardcover 1st edition. -- Berlin ; Heidelberg : Springer, 2008. -- xi, 433 stran : schémata. -- (Texts in theoretical computer science : an EATCS series). -- ISBN : 978-3-642-08680-9 (brožováno).
Merz, Stephan, 1963-
symbolická logika. matematická logika. programování. učebnice vysokých škol
164.01. 004.42. 510.6. (075.8)