An Introduction to Discrete Mathematics and Formal System Specification - Rilegato

Ince, D.

 
9780198596677: An Introduction to Discrete Mathematics and Formal System Specification
Rilegato
ISBN 10: 0198596677 ISBN 13: 9780198596677
Casa editrice: Oxford Univ Pr, 1988

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.

Editore
Oxford Univ Pr
Data di pubblicazione
1988
Lingua
Inglese
ISBN 10 
0198596677
ISBN 13 
9780198596677
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
368
Contatto del produttore
non disponibile
Persona responsabile
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italia

Altre edizioni note dello stesso titolo

9780198596646: An Introduction to Discrete Mathematics and Formal System Specification

Edizione in evidenza

ISBN 10:  0198596642 ISBN 13:  9780198596646
Casa editrice: Oxford Univ Pr, 1988
Brossura