Verwandte Artikel zu Formal Specification and Design Paperback: 35 (Cambridge...
Formal Specification and Design Paperback: 35 (Cambridge Tracts in Theoretical Computer Science, Series Number 35) - Softcover
Inhaltsangabe
The authors describe specification techniques from the unified view of the Common Object-oriented Language for Design.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 56,30
EUR 3,45 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Specification and Design Paperback: 35 (Cambridge...
Beispielbild für diese ISBN
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Verlag:
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Gebraucht
Softcover
Anbieter: Labyrinth Books, Princeton, NJ, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very Good. Bestandsnummer des Verkäufers 120537
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Feb2416190002804
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design (Paperback)
Verlag:
Cambridge University Press, Cambridge, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Neu
Paperback
Erstausgabe
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9780521435925
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science, Series Number 35)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9780521435925_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Verlag:
Cambridge University Press 2008-08-21, 2008
ISBN 10: 0521435927
ISBN 13: 9780521435925
Neu
Paperback
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9780521435925
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Verlag:
Cambridge University Press, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Neu
Paperback / softback
Anbieter: THE SAINT BOOKSTORE, Southport, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback / softback. Zustand: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 590. Bestandsnummer des Verkäufers C9780521435925
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Verlag:
Cambridge University Press CUP, 2005
ISBN 10: 0521435927
ISBN 13: 9780521435925
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 352. Bestandsnummer des Verkäufers 26437324
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 1st edition. 351 pages. 9.25x6.50x0.75 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __0521435927
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 352 Illus. Bestandsnummer des Verkäufers 7410579
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Formal Specification and Design
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 352. Bestandsnummer des Verkäufers 18437318
Anzahl: 4 verfügbar