Verwandte Artikel zu Higher Order Logic and Hardware Verification (Cambridge...
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science) - Hardcover
Buch 30 von 40: Cambridge Tracts in Theoretical Computer Science
Inhaltsangabe
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für Higher Order Logic and Hardware Verification (Cambridge...
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Band 31)
Verlag:
Cambridge University Press, 1993
ISBN 10: 052141718X
ISBN 13: 9780521417181
Gebraucht
Hardcover
Anbieter: Antiquariat Armebooks, Frankfurt am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebundene Ausgabe. Zustand: Gut. 180 Seiten; Cambridge - 1st. 1993 : T. Melham - gb. Gr. 78-6VON-6LFW Sprache: Englisch Gewicht in Gramm: 490. Artikel-Nr. 346845
Gebraucht kaufen
EUR 73,29
EUR 20,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 180 69:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Case Laminate on White w/Gloss Lam. Artikel-Nr. 7413488
Neu kaufen
EUR 103,23
EUR 7,60 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9780521417181_new
Neu kaufen
EUR 148,80
EUR 14,01 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Higher Order Logic and Hardware Verification: 31 (Cambridge Tracts in Theoretical Computer Science, Series Number 31)
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. Series: Cambridge Tracts in Theoretical Computer Science. Num Pages: 180 pages, line drawings, tables, references. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 11. Weight in Grams: 506. . 1993. hardcover. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521417181
Neu kaufen
EUR 199,76
EUR 9,10 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar