An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.
Kõva köide · See väljaanne
€95,58Tarne 3-4 näd.
Pehme köide
€51,92Tarne 3-4 näd.
