Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Formal Semantics and Proof Techniques for Optimizing VHDL Models

Name: Formal Semantics and Proof Techniques for Optimizing VHDL Models
Brand: Springer-Verlag New York Inc.
SKU: 06796876
Price: 102.73 EUR
Availability: InStock
Author: Kothanda Umamageswaran
ISBN: 9781461373315

Kothanda Umamageswaran

Sheetanshu L. Pandey

Philip A. Wilsey

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 06796876

ΕΕκδοτικός οίκος Springer-Verlag New York Inc., Νοέμβριος 1998

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifyi... Πλήρης περιγραφή

Κωδικός Libristo: 06796876

249 b

102.73 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Atlantides Vincent Jacq

Χαρτόδετο

24.01 €

Zróbmy sobie szkołę Marcela Mikołaj

Χαρτόδετο

5.94 €

Tak dobrá je to hra Pavel Hruška

Βιβλίο

2.51 €

Die drei ??? Erstlese-Buch zum Film, 2. Klasse, und die Toteninsel Annegret König

Σκληρόδετο

8.57 €

Jeżyk i Jastrząb Jacek Michal Pawlowski

Σκληρόδετο

22.29 €

Atlas de l'Amérique précolombienne Goepfert

Βιβλίο

29.76 €

Salmo 23 - Estudio Bíblico: El Pastor Conmigo

Χαρτόδετο

16.64 €

Sherlock Holmes. Uno studio in rosso Arthur Conan Doyle

Σκληρόδετο

11.60 €

DINOSAURIOS EDICIONES

Βιβλίο

7.16 €

Un week-end sur deux et la moitié des vacances scolaires Samuel Doux

Χαρτόδετο

24.01 €

Uber Die Sprache Der Alten Preussen In Ihren Verwandtschaftlichen Beziehungen (1853) Franz Bopp

Χαρτόδετο

20.18 €

Kfz und Panzer der Achsenmächte Gabriele Faggioni

Σκληρόδετο

24.21 €

desmantelamiento de la democracia y el Estado Totalitario. Tomo XV. Coleccion Tratado de Derecho Constitucional Allan R Brewer-Carias

Χαρτόδετο

60.24 €

Mehrpersonen-Preisdifferenzierung Gerd Wilger

Χαρτόδετο

67.31 €

Financial Restructuring Kay Barth

Χαρτόδετο

59.84 €

Flowers of War, 1 DVD Peicong Meng

DVD

13.11 €

Verkehrsgeographie Otto Blum

Χαρτόδετο

72.15 €

Geschichte Der Stadt Erfurt Bis Zur Unterwerfung Unter Die Mainzische Landeshoheit Im Jahre 1664 Carl Beyer

Χαρτόδετο

13.51 €

Feldwebel Kurt Knispel Franz Kurowski

Σκληρόδετο

12.71 €

Written expressly for hardware designers, this book presents a formal model of VHDL clearly specifying both the static and dynamic semantics of VHDL. It provides a mathematical framework for representing VHDL constructs and shows how those constructs can be formally manipulated to reason about VHDL.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Formal Semantics and Proof Techniques for Optimizing VHDL Models

Συγγραφέας Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 1998

Αριθμός σελίδων 158

EAN 9781461373315

ISBN 146137331X

Κωδικός Libristo 06796876

ΕΕκδοτικός οίκος Springer-Verlag New York Inc.

Βάρος 290

Διαστάσεις 155 x 235 x 11

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components

Technology, Engineering, Agriculture > Energy technology & engineering > Electrical engineering

Computing & Information Technology > Graphical & digital media applications > Computer-aided design (CAD)

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Mathematics & Science > Mathematics

Computing & Information Technology > Computer hardware

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

Corneal Topography Jeffrey B. Robin

Χαρτόδετο

102.73 €

Asset-backed Securitization and the Financial Crisis Nadine Senanayake

Χαρτόδετο

33.90 €

Commentary on the Seven Penitential Psalms; Volume 1 John Fisher

Χαρτόδετο

19.27 €

Winston Ian Wishart

Χαρτόδετο

23.00 €

Abstract of Sir Isaac Newton's Chronology of Ancient Kingdoms. by Mr. Reid. the Second Edition. Sir Isaac Newton

Χαρτόδετο

16.54 €

Account of the Chapel of Roslin. Containing an Historical and Geographical Description of the Ancient and Present State of That Extraordinary Piece of Robert Forbes

Χαρτόδετο

17.05 €

Remaking Citizenship in Multicultural Europe Beatrice Halsaa

Χαρτόδετο

58.33 €

The Paper Chase: A Chief Inspector Pointer Mystery A. E. Fielding

Χαρτόδετο

15.53 €

Federal Registration Service of the United States Cressy Livingston Wilbur

Σκληρόδετο

31.08 €

Chasing Down A Dream Beverly Jenkins

Χαρτόδετο

17.25 €

Maid and the Queen Nancy Goldstone

Χαρτόδετο

13.92 €

What's my name? ALLYSE Tiina Walsh

Χαρτόδετο

15.53 €

Remarks Upon the Newtonian Philosophy, as Propos'd by Sir Isaac Newton, in His Principia Philosophi Naturalis; And by Dr. Gregory, in His Principia A GEORGE GORDON

Σκληρόδετο

33.09 €