This text aims to cover all the needed materials for a first course in its subject, yet it assumes no prior knowledge of computing. The book is written to show how discrete mathematics relates to program design. This computer science orientation stresses the importance of logic and proof, recursion, trees, algorithm correctness and formal specifications of problems and algorithms. All algorithms are written in pseudocode to allow integration into any computer science course. The development of precise specifications for algorithms is emphasized. The text discusses why and how topics are important. More advanced materials on the importance of software verification and the use Z-notation in formal specifications are also included.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Book by John E Munro
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-N-013-01157
Quantità: 2 disponibili
Da: Greener Books, London, Regno Unito
Paperback. Condizione: Used; Good. **SHIPPED FROM UK** We believe you will be completely satisfied with our quick and reliable service. All orders are dispatched as swiftly as possible! Buy with confidence! Greener Books. Codice articolo 1543197
Quantità: 1 disponibili
Da: Antiquariat Bookfarm, Löbnitz, Germania
Softcover. Condizione: Gut. Ex-library with stamp and library-signature. GOOD condition, some traces of use. Ancien Exemplaire de bibliothèque avec signature et cachet. BON état, quelques traces d'usure. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. 68 MUN 9780412456503 Sprache: Englisch Gewicht in Gramm: 550. Codice articolo 2498795
Quantità: 1 disponibili