Higher Order Logic and Hardware Verification

Sprache: Englisch

Verlag: Cambridge University Press, 2012

052141718X / 9780521417181

Serie: Buch 30 von 40 - Cambridge Tracts in Theoretical Computer Science

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 9. Juli 2020

Artikel dieses Verkäufers ansehen
Hardcover

Zustand: Neu

EUR 148,23

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Artikelbeschreibung vom Verkäufer

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 teaching. Thus it can be used to accompany cours.

Bestandsnummer des Verkäufers 446934780

Titel
Higher Order Logic and Hardware Verification
Autor
Melham, T. F.|Melham, Thomas F.
Verlag
Cambridge University Press
Veröffentlichungsjahr
2012
Zustand
New
Einband
Hardcover
Sprache
Englisch
ISBN-10
052141718X
ISBN-13
9780521417181
Serie
Buch 30 von 40: Cambridge Tracts in Theoretical Computer Science

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 9. Juli 2020

Versandkosten von Deutschland nach USA

Artikel16 bis 45 Werktage16 bis 45 Werktage
Erster ArtikelEUR 48,99EUR 48,99
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Banküberweisung
  • PayPal
  • Vorauskasse

Shop-Beschreibung

Online Handel nur mit Neubüchern

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Moluna GmbH

Engberdingdamm 27
Greven, Deutschland 48268