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