Verwandte Artikel zu Higher Order Logic and Hardware Verification (Cambridge...
Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science, 31, Band 31) - Softcover
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.
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, Series Number 31) (Volume 0)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In English. Artikel-Nr. ria9780521115322_new
Neu kaufen
EUR 60,47
EUR 10,93 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, black & white illustrations. BIC Classification: TJFD; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 10. Weight in Grams: 300. . 2009. 1st Edition. paperback. . . . . Books ship from the US and Ireland. Artikel-Nr. V9780521115322
Neu kaufen
EUR 73,23
EUR 9,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar