9780521417181 - higher order logic and hardware verification di melham, t. f. (17 risultati)
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Antiquariat Armebooks, Frankfurt am Main, GermaniaAntiquariat Armebooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 73,29
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Gebundene Ausgabe. Condizione: Gut. 180 Seiten; Cambridge - 1st. 1993 : T. Melham - gb. Gr. 78-6VON-6LFW Sprache: Englisch Gewicht in Gramm: 490.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 100,44
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: Cambridge University Press CUP, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 101,39
EUR 3,42 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 180.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,45
EUR 7,60 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: 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.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 105,89
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: New. pp. 180.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 143,23
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: California Books, Miami, FL, U.S.A.California Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 145,57
Spedizione gratuitaSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 146,26
EUR 2,26 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,71
EUR 14,00 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,70
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 152,65
EUR 17,53 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 157,28
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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. D…imension: 247 x 174 x 11. Weight in Grams: 506. . 1993. hardcover. . . . .
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 197,35
EUR 8,99 spedizioneSpedito in U.S.A.Quantità: Più di 20 disponibili
Condizione: 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. D…imension: 247 x 174 x 11. Weight in Grams: 506. . 1993. hardcover. . . . . Books ship from the US and Ireland.
Lingua: Inglese
Editore: Cambridge University Press, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: THE SAINT BOOKSTORE, Southport, Regno UnitoTHE SAINT BOOKSTORE
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 176,22
EUR 18,64 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Hardback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Lingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 148,23
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author s own research as well as on graduate teachin…g. Thus it can be used to accompany cours.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 1993
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: CitiRetail, Stevenage, Regno UnitoCitiRetail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 159,51
EUR 43,25 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: new. Hardcover. Dr Melham shows here how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mecha…nisms for hardware verification can be formalised in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behaviour. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used formalism in this subject, and describes how that formalism is actually used for hardware verification. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers. This describes solutions to the problem of ensuring the functional correctness of hardware. It considers the behaviour mathematically and verifies intended results by use of formal proof. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Altre immaginiLingua: Inglese
Editore: Cambridge University Press, 2012
Serie: Libro 30 di 40 - Cambridge Tracts in Theoretical Computer Science
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 153,70
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. Higher Order Logic and Hardware Verification | T. F. Melham (u. a.) | Buch | Gebunden | Englisch | 2012 | Cambridge University Press | EAN 9780521417181 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
