Handbook of logic and proof techniques for computer science / Steven G. Krantz.

Պահպանված է:

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Krantz, Steven G. (Steven George), 1951-
Ձևաչափ:	Գիրք
Լեզու:	English
Հրապարակվել է:	Boston : New York : Birkhauser ; Springer, c2002.
Խորագրեր:	Computers. Electronic data processing.

Պահումների մանրամասները Science Library
Դասիչ:	QA76 .K723 2002
Copy 1	Հասանելի է

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