Formal Verification: An Essential Toolkit for Modern VLSI Design

Sprache: Englisch

Verlag: Elsevier Science, 2023

0323956122 / 9780323956123

Anbieter: moluna, Greven, Deutschlandmoluna

Verkäufer/-in mit 5 Sternen

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

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 112,10

EUR 48,99 Versand 
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Covers formal verification algorithms that help users gain full coverage without exhaustive simulation Helps readers understand formal verification tools and how they differ from simulation tools Shows how to create instant testbe.

Bestandsnummer des Verkäufers 796215774

Titel
Formal Verification: An Essential Toolkit for Modern VLSI Design
Autor
Erik Seligman|Tom Schubert|M V Achutha Kiran Kumar
Verlag
Elsevier Science
Veröffentlichungsjahr
2023
Zustand
New
Einband
Softcover
Sprache
Englisch
ISBN-10
0323956122
ISBN-13
9780323956123
Ausgabe
2. Auflage

moluna

Greven, Deutschland

Verkäufer/-in mit 5 Sternen

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

Versandkosten von Deutschland nach USA

Artikel13 bis 40 Werktage13 bis 40 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