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

Libro 29 di 40: Cambridge Tracts in Theoretical Computer Science

Roever, Willem-Paul De

 
9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison
Brossura
ISBN 10: 0521103509 ISBN 13: 9780521103503
Casa editrice: Cambridge University Press, 2009

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
2009
Lingua
Inglese
ISBN 10 
0521103509
ISBN 13 
9780521103503
Rilegatura
Copertina flessibile
Numero edizione
1
Numero di pagine
436
Contatto del produttore
non disponibile
Persona responsabile
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Germania

Altre edizioni note dello stesso titolo

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

Edizione in evidenza

ISBN 10:  0521641705 ISBN 13:  9780521641708
Casa editrice: Cambridge University Press, 1998
Rilegato