Artículos relacionados a Formal Specification and Design Paperback: 35 (Cambridge...
Formal Specification and Design Paperback: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Tapa blanda
Sinopsis
The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.
"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.
Comprar nuevo
Ver este artículo
EUR 56,30
EUR 3,45 gastos de envío en Estados Unidos de America
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Formal Specification and Design Paperback: 35 (Cambridge...
Imagen de archivo
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Antiguo o usado
Tapa blanda
Librería: Labyrinth Books, Princeton, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: Very Good. Nº de ref. del artículo: 120537
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Tapa blanda
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Feb2416190002804
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Specification and Design (Paperback)
Publicado por
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Paperback
Original o primera edición
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants, and black-box correctness are also presented. More advanced ideas, for example, Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasized throughout so the book will be an excellent choice for courses in these areas. Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9780521435925
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780521435925_new
Gastos de envío:
EUR 13,81
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Publicado por
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Paperback
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: New. Nº de ref. del artículo: 6666-IUK-9780521435925
Gastos de envío:
EUR 17,86
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 10 disponibles
Imagen de archivo
Formal Specification and Design
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 590. Nº de ref. del artículo: C9780521435925
Gastos de envío:
EUR 19,19
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Formal Specification and Design
Publicado por
Cambridge University Press CUP, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 352. Nº de ref. del artículo: 26437324
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Specification and Design
Impresión bajo demandaLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 1st edition. 351 pages. 9.25x6.50x0.75 inches. In Stock. This item is printed on demand. Nº de ref. del artículo: __0521435927
Gastos de envío:
EUR 28,82
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen de archivo
Formal Specification and Design
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Tapa blanda
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Print on Demand pp. 352 Illus. Nº de ref. del artículo: 7410579
Gastos de envío:
EUR 7,49
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles
Imagen de archivo
Formal Specification and Design
Publicado por
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Nuevo
Tapa blanda
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND pp. 352. Nº de ref. del artículo: 18437318
Gastos de envío:
EUR 9,95
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 4 disponibles