759:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 1389:-
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.
- Format: Pocket/Paperback
- ISBN: 9780521004015
- Språk: Engelska
- Antal sidor: 302
- Utgivningsdatum: 2002-02-25
- Förlag: Cambridge University Press