What Computing Is All About
Jan L.A.van de Snepscheut
This is a self-contained discussion of fundamental topics in computer science, which includes coverage of program semantics, automata theory, program and circuit design, concurrent programs and compilation. Formal proofs and practical applications are provided throughout the text.
카테고리:
년:
1993
출판사:
Springer
언어:
english
페이지:
494
ISBN 10:
3540940219
ISBN 13:
9783540940210
시리즈:
Texts and Monographs in Computer Science
파일:
PDF, 11.95 MB
IPFS:
,
english, 1993