Titolo: An Introduction to Discrete Mathematics, Formal System Specification, and Z
Editore: Oxford University Press
Data di pubblicazione: 1993
Lingua: Inglese
ISBN 10: 0198538367
ISBN 13: 9780198538363
Rilegatura: Paperback / softback
Edizione: seconda edizione
Condizione: New
Peso: 459 grammi

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

The Saint Bookstore has a range of over 1 million titles available.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Condizioni di vendita e spedizione

Condizioni di vendita

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk

Diritto di recesso

Condizioni di spedizione

Most orders usually ship within 1-3 business days, but some can take up to 7 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 28 giorni lavorativi	Da 7 a 28 giorni lavorativi
Primo articolo	EUR 17.66	EUR 19.96

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.