Cambridge tracts in theoretical computer science - 9780521417181 - higher order logic and hardware verification (cambridge tracts in theoretical computer science) von melham, t. f.; melham, thomas f. (4 Ergebnisse)
Sprache: Englisch
Verlag: Cambridge University Press, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Antiquariat Armebooks, Frankfurt am Main, DeutschlandAntiquariat Armebooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 73,29
EUR 20,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Gebundene Ausgabe. Zustand: Gut. 180 Seiten; Cambridge - 1st. 1993 : T. Melham - gb. Gr. 78-6VON-6LFW Sprache: Englisch Gewicht in Gramm: 490.
Sprache: Englisch
Verlag: Cambridge University Press, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 130,18
EUR 7,57 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
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.
Sprache: Englisch
Verlag: Cambridge University Press, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 148,07
EUR 13,94 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Cambridge University Press, 1993
Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 198,40
EUR 9,04 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
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. Dime…nsion: 247 x 174 x 11. Weight in Grams: 506. . 1993. hardcover. . . . . Books ship from the US and Ireland.
