Neuware - 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.

Codice articolo 9780198538363

Contatta il venditore

Segnala questo articolo

Dati bibliografici

Titolo: An Introduction to Discrete Mathematics, Formal System Specification, and Z
Editore: Oxford University Press Feb 1993
Data di pubblicazione: 1993
Lingua: Inglese
ISBN 10: 0198538367
ISBN 13: 9780198538363
Rilegatura: Taschenbuch
Edizione: seconda edizione
Condizione: Neu
Dimensioni: 235 millimetri di larghezza per 156 millimetri di altezza per 16 millimetri di profondit�
Peso: 430 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

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Condizioni di vendita e spedizione

Condizioni di vendita

Termini e condizioni generali e informazioni sul cliente / Informativa sulla privacy

I. Condizioni generali di contratto

� 1 Disposizioni di base

(1) I seguenti termini e condizioni si applicano a tutti i contratti che l'utente conclude con noi in qualit� di fornitore (AHA-BUCH GmbH) tramite le piattaforme Internet AbeBooks e/o ZVAB. Se non diversamente concordato, l'inclusione di uno qualsiasi dei tuoi termini e condizioni da te utilizzati sar� contestata.
(2) Un consumatore ai sensi delle segu...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

Spediamo il tuo ordine dopo averlo ricevuto
per articoli a portata di mano entro 24 ore,
per articoli con fornitura notturna entro 48 ore.
Nel caso in cui abbiamo bisogno di ordinare un articolo dal nostro fornitore, il nostro tempo di spedizione dipende dalla data di ricezione degli articoli, ma gli articoli verranno spediti lo stesso giorno.

Il nostro obiettivo � quello di inviare gli articoli ordinati nel modo pi� veloce, ma anche pi� efficiente e sicuro ai nostri clienti.

Tariffe di spedizione da Germania a U.S.A.

Tariffe di spedizione da Germania a U.S.A.
Quantit� dell?ordine	Da 30 a 40 giorni lavorativi	Da 7 a 14 giorni lavorativi
Primo articolo	EUR 62.15	EUR 72.15

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.

Informazioni dettagliate sul venditore