Բեռնվում է…

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.
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

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