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.
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
Compra usato
EUR 9,60
Spedizione EUR 11,66
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
An Introduction to Discrete Mathematics and Formal System Specification
Editore:
Oxford University Press, Incorporated, 1988
ISBN 10: 0198596677
ISBN 13: 9780198596677
Antico o usato
Rilegato
Prima edizione
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 1St Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP97092980
Compra usato
EUR 25,59
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
An Introduction to Discrete Mathematics and Formal System Specification
Editore:
Oxford University Press, Incorporated, 1988
ISBN 10: 0198596677
ISBN 13: 9780198596677
Antico o usato
Rilegato
Prima edizione
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Very Good. 1St Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Codice articolo GRP79629676
Compra usato
EUR 25,59
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
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
Prima edizione
Da: Cotswold Internet Books, Cheltenham, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Used - Very Good. VG hardback. First Edition. 1st edition, in glazed boards. Slight shelf wear. Otherwise a clean, tidy copy with tight binding. Used - Very Good. VG hardback. Codice articolo BOOKS341694I
Compra usato
EUR 39,03
Spedizione EUR 16,32
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili