Ex-Library hardcover in good condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Bestandsnummer des Verk�ufers UTL50430

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Computer Hardware Description Languages and Their Applications
Verlag: North-Holland
Erscheinungsjahr: 1985
Sprache: Englisch
ISBN-10: 0444878262
ISBN-13: 9780444878267
Einband: Hardcover
Zustand: Good

�ber diesen Titel

Inhaltsangabe

The papers of this seventh conference reflect the gradual shift from the original emphasis on the uses of language design to describe hardware, toward more formal techniques for specification and verification. This volume highlights the following topics: - Languages to specify and describe hardware design, to reason about timing and functional behaviour, and to support modelling and performance evaluation - Synthesis and verification of systems as means of support for the design process, and as a guarantee of design consistency and functional correctness - Tool Integration aspects such as the representation of design information, and the putting together of tools within a coherent design environment.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

GuthrieBooks
TX, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

At this time we accept payment through Visa or Mastercard.

Versandbedingungen

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.