Articoli correlati a An Introduction to Discrete Mathematics and Formal...
Sinossi
This computer science textbook offers an introduction to the theory and practice of formal specification, defined as the use of discrete mathematics for describing the function of hardware and software systems. Formal specification plays a vital role, especially with regard to problem-free installation. Designed for students approaching the subject for the first time, this text develops all the required analytical and mathematical techniques. Numerous worked examples and exercises demonstrate actual software and computer systems. The book culminates with an introduction to "Z", a formal notation which is particularly useful for unambiguously specifying systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Product Description
An Introduction to Discrete Mathematics and Formal System Specification
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreOxford Univ Pr
- Data di pubblicazione1988
- ISBN 10 0198596677
- ISBN 13 9780198596677
- RilegaturaCopertina rigida
- LinguaInglese
- Numero edizione1
- Numero di pagine368
Altre edizioni note dello stesso titolo
Risultati della ricerca per An Introduction to Discrete Mathematics and Formal...
Foto dell'editore
An Introduction to Discrete Mathematics and Formal System Specification (Applied Mathematics & Computing Science)
Editore:
Oxford University Press; Clarendon Press, Oxford, 1988
ISBN 10: 0198596677
ISBN 13: 9780198596677
Antico o usato
Rilegato
Prima edizione
Da: Alexander's Books, Royal Leamington Spa, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good+. No Jacket. 1st Edition. First edition, first printing. Hardback, laminated boards. Large octavo. vii+349pp. Very Good+ condition (previous owner's name on free front end paper). No dust jacket, as issued. Codice articolo 25742
Quantità: 1 disponibili
Foto dell'editore
An Introduction to Discrete Mathematics and Formal System Specification (Applied Mathematics & Computing Science S.)
Editore:
Oxford University Press, 1988
ISBN 10: 0198596677
ISBN 13: 9780198596677
Antico o usato
Rilegato
Da: WorldofBooks, Goring-By-Sea, WS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardback. Condizione: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Codice articolo GOR003060389
Quantità: 1 disponibili