Paperback. Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering designand Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are needed. Throughoutthe book are numerous worked examples and exercises which include many real examples of software and computer systems. A second edition of the textbook originally published in 1988. It is an introduction to the theory and practice of formal specification. The new edition meets criticisms of the first by concentrating more on Z, including two completely new chapters on small Z examples and design in Z. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.

Codice articolo 9780198538363

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: An Introduction to Discrete Mathematics, Formal System Specification, and Z (Paperback)
Editore: Oxford University Press, Oxford
Data di pubblicazione: 1993
Lingua: Inglese
ISBN 10: 0198538367
ISBN 13: 9780198538363
Rilegatura: Paperback
Edizione: seconda edizione
Condizione: new

Descrizione articolo

Riassunto

Formal specification is the name given to the use of discrete mathematics in computer science for describing the function of both hardware and software systems. Poor specification often gives rise to severe problems in software and hardware installation. This textbook is an introduction to both the theory and practice of formal specification, and this new edition includes two new chapters on Z, one giving a number of small examples in Z, the other covering design and Z. Prerequisites in this edition have been kept to a minimum since Professor Ince is at pains to develop the techniques of requirement analysis and discrete mathematics that are needed. Throughout the book are numerous worked examples and exercises which include many real examples of software and computer systems.

L'autore

D. C. Ince is at The Open University.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Online business

Visita la pagina della libreria

Informazioni sull?azienda del venditore

ABC BOOKS LIMITED
10 John Street, London, WC1N 2EB, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

Orders can be returned within 30 days of receipt.

Diritto di recesso

Condizioni di spedizione

Please note that titles are dispatched from our US, Canadian or Australian warehouses. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 7-14 days.

Tariffe di spedizione da Regno Unito a U.S.A.

Tariffe di spedizione da Regno Unito a U.S.A.
Quantit� dell?ordine	Da 7 a 60 giorni lavorativi	Da 7 a 14 giorni lavorativi
Primo articolo	EUR 42.58	EUR 42.58

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.