Temporal logic of programs /

Պահպանված է:
Մատենագիտական մանրամասներ
Հիմնական հեղինակ: Kroger, Fred, 1945-
Ձևաչափ: Գիրք
Լեզու:English
Հրապարակվել է: Berlin ; New York : Springer-Verlag, 1987.
Շարք:EATCS monographs on theoretical computer science Vol. 8
Խորագրեր:
Computer programming.
Logic, Symbolic and mathematical.
Ցուցիչներ: Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Նմանատիպ նյութեր