Data Refinement Hardback: Model-Oriented Proof Methods and Their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47) - Tapa dura

Libro 29 de 40: Cambridge Tracts in Theoretical Computer Science

De Roever; Engelhardt

 
9780521641708: Data Refinement Hardback: Model-Oriented Proof Methods and Their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
Tapa dura
ISBN 10: 0521641705 ISBN 13: 9780521641708
Editorial: Cambridge University Press, 1998

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
1998
Idioma
Inglés
ISBN 10 
0521641705
ISBN 13 
9780521641708
Encuadernación
Tapa dura
Número de páginas
436
Contacto del fabricante
no disponible
Persona responsable
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Alemania

Otras ediciones populares con el mismo título

9780521103503: Data Refinement: Model-Oriented Proof Methods and their Comparison: 47 (Cambridge Tracts in Theoretical Computer Science, Series Number 47)

Edición Destacada

ISBN 10:  0521103509 ISBN 13:  9780521103503
Editorial: Cambridge University Press, 2009
Tapa blanda