Data Refinement: Model-Oriented Proof Methods and their Comparison - Rilegato

Libro 29 di 40: Cambridge Tracts in Theoretical Computer Science

De Roever, Willem-Paul; Engelhardt, Kai

 
9780521641708: Data Refinement: Model-Oriented Proof Methods and their Comparison
Rilegato
ISBN 10: 0521641705 ISBN 13: 9780521641708
Casa editrice: Cambridge University Press, 1998

Sinossi

Graduate text in formal methods in computer science.

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

Recensione

"The presentation of the theory is backed up by some substantial examples...and this together with the extensive historical notes makes the book an extremely useful reference manual and graduate text."

Descrizione del libro

This is a comprehensive and systematic account of the important and highly applicable method of data refinement. The authors concentrate on principles and begin with an explanation of the fundamental notions. Accessibility and comprehension are emphasized in order to guide newcomers to the area. The book is self-contained, going from advanced undergraduate level but taking the reader to the frontiers of the subject.

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

Editore
Cambridge University Press
Data di pubblicazione
1998
Lingua
Inglese
ISBN 10 
0521641705
ISBN 13 
9780521641708
Rilegatura
Copertina rigida
Numero di pagine
436
Contatto del produttore
non disponibile
Persona responsabile
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania

Altre edizioni note dello stesso titolo

9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison

Edizione in evidenza

ISBN 10:  0521103509 ISBN 13:  9780521103503
Casa editrice: Cambridge University Press, 2009
Brossura