Verwandte Artikel zu Computer Hardware Description Languages and Their Applicatio...

Computer Hardware Description Languages and Their Applications 1985: I.F.I.P.International Conference Proceedings (Computer Hardware Description ... I.F.I.P.International Conference Proceedings) - Hardcover

 
9780444878267: Computer Hardware Description Languages and Their Applications 1985: I.F.I.P.International Conference Proceedings (Computer Hardware Description ... I.F.I.P.International Conference Proceedings)

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Gebraucht kaufen

Zustand: Befriedigend
creasing to the cover and downt...
Diesen Artikel anzeigen

EUR 10,94 für den Versand von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

Suchergebnisse für Computer Hardware Description Languages and Their Applicatio...

Beispielbild für diese ISBN

Koomen, C.J & Moto-Oka, T
ISBN 10: 0444878262 ISBN 13: 9780444878267
Gebraucht paperback

Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

paperback. Zustand: Good. Zustand des Schutzumschlags: No Dust Jacket. creasing to the cover and downt ehs spine, Bestandsnummer des Verkäufers 053501

Verkäufer kontaktieren

Gebraucht kaufen

EUR 10,22
Währung umrechnen
Versand: EUR 10,94
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Koomen, C. J.; Moto-Oka, T.
Verlag: North-Holland, 1985
ISBN 10: 0444878262 ISBN 13: 9780444878267
Gebraucht Hardcover

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: Good. We are unable to ship to Canada at this time.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

Gebraucht kaufen

EUR 15,67
Währung umrechnen
Versand: EUR 6,00
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb