ISBN: 9780792395522
Author: Carlos D. Kloos, Carlos Delgado Kloos, P. Breuer ISBN 10: 0792395522. Title: Formal Semantics for VHDL (The Springer International Series in Engineering and Item Condition: New. P… Más…
ebay.com awesomebooksusa 98.2, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, DISCOVER. Gastos de envío:Versandkostenfrei, Versand zum Fixpreis, [SHT: Economy Shipping], NY, [TO: Worldwide] (EUR 0.00) Details... |
ISBN: 9780792395522
ISBN-13: 9780792395522, 978-0792395522. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semant… Más…
ebay.com books--etc 99.7, Zahlungsarten: Paypal, APPLE_PAY, Google Pay, Visa, Mastercard, American Express, Priority Listing. Gastos de envío:Versand zum Fixpreis, [SHT: Expedited Shipping], GU12 *** Aldershot, [TO: United Kingdom, Antigua and Barbuda, Austria, Belgium, Bulgaria, Republic of Croatia, Cyprus, Czech Republic, Denmark, Estonia, Finland, France, Germany, Greece, Hungary, Ireland, Italy, Latvia, Lithuania, Luxembourg, Malta, Netherlands, Poland, Portugal, Romania, Slovakia, Slovenia, Spain, Sweden, Australia, United States, Bahrain, Canada, Brazil, Japan, New Zealand, China, Israel, Hong Kong, Norway, Indonesia, Malaysia, Mexico, Singapore, South Korea, Switzerland, Taiwan, Thailand, Bangladesh, Belize, Bermuda, Bolivia, Barbados, Brunei Darussalam, Cayman Islands, Dominica, Ecuador, Egypt, Guernsey, Gibraltar, Guadeloupe, Grenada, French Guiana, Iceland, Jersey, Jordan, Cambodia, Saint Kitts-Nevis, Saint Lucia, Liechtenstein, Sri Lanka, Macau, Monaco, Maldives, Montserrat, Martinique, Nicaragua, Pakistan, Peru, Paraguay, Reunion, Turks and Caicos Islands, Aruba, Saudi Arabia, South Africa, United Arab Emirates, (EUR 37.03) Details... |
ISBN: 9780792395522
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the la… Más…
Springer.com Nr. 978-0-7923-9552-2. Gastos de envío:Worldwide free shipping, , DE. (EUR 0.00) Details... |
ISBN: 9780792395522
*Formal Semantics for VHDL* - Auflage 1995 / gebundene Ausgabe für 131.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (gebunden) Hardcover;Naturwi… Más…
Hugendubel.de Gastos de envío:Shipping in 2 weeks, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
1995, ISBN: 9780792395522
Springer, 1995. Hardcover. Good. Former library book. Slight signs of wear on the cover. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations., … Más…
Biblio.co.uk |
ISBN: 9780792395522
Author: Carlos D. Kloos, Carlos Delgado Kloos, P. Breuer ISBN 10: 0792395522. Title: Formal Semantics for VHDL (The Springer International Series in Engineering and Item Condition: New. P… Más…
P. Breuer, Carlos Delgado Kloos:
Formal Semantics for VHDL - 9780792395522 - encuadernado, tapa blandaISBN: 9780792395522
ISBN-13: 9780792395522, 978-0792395522. The current IEEE standard VHDL language reference manual (LRM) tries to define VHDL as well as possible in a descriptive way, explaining the semant… Más…
ISBN: 9780792395522
It is recognized that formal design and verification methods are an important requirement for the attainment of high quality system designs. The field has evolved enormously during the la… Más…
ISBN: 9780792395522
*Formal Semantics for VHDL* - Auflage 1995 / gebundene Ausgabe für 131.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet Medien > Bücher nein Buch (gebunden) Hardcover;Naturwi… Más…
1995, ISBN: 9780792395522
Springer, 1995. Hardcover. Good. Former library book. Slight signs of wear on the cover. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations., … Más…
Datos bibliográficos del mejor libro coincidente
Autor: | |
Título: | |
ISBN: |
Detalles del libro - Formal Semantics for VHDL
EAN (ISBN-13): 9780792395522
ISBN (ISBN-10): 0792395522
Tapa dura
Tapa blanda
Año de publicación: 1995
Editorial: SPRINGER NATURE
264 Páginas
Peso: 0,553 kg
Idioma: eng/Englisch
Libro en la base de datos desde 2007-06-16T20:20:31-05:00 (Mexico City)
Página de detalles modificada por última vez el 2023-11-01T15:22:36-06:00 (Mexico City)
ISBN/EAN: 9780792395522
ISBN - escritura alterna:
0-7923-9552-2, 978-0-7923-9552-2
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: kloos, springer, breuer, carlos delgado
Título del libro: formal semantics, semantics science, peter breuer, vhdl
Datos del la editorial
Autor: Carlos Delgado Kloos; P. Breuer
Título: The Springer International Series in Engineering and Computer Science; Formal Semantics for VHDL
Editorial: Springer; Springer US
249 Páginas
Año de publicación: 1995-02-28
New York; NY; US
Peso: 1,220 kg
Idioma: Inglés
106,99 € (DE)
109,99 € (AT)
118,00 CHF (CH)
POD
XIV, 249 p.
BB; Circuits and Systems; Hardcover, Softcover / Technik/Elektronik, Elektrotechnik, Nachrichtentechnik; Schaltkreise und Komponenten (Bauteile); Verstehen; C programming language; Hardware; Hardwarebeschreibungssprache; Standard; System; VHDL; formal method; logic; verification; Programming Languages, Compilers, Interpreters; Theory of Computation; Computer Hardware; Artificial Intelligence; Electrical Engineering; Electronic Circuits and Systems; Compilers and Interpreters; Theory of Computation; Computer Hardware; Artificial Intelligence; Electrical and Electronic Engineering; Compiler und Übersetzer; Theoretische Informatik; Computerhardware; Künstliche Intelligenz; Elektrotechnik; BC; EA
Foreword. Preface. 0. Giving Semantics to VHDL: an Introduction; C. Delgado Kloos, P.T. Breuer. 1. A Functional Semantics for Delta-Delay VHDL Based on Focus; M. Fuchs, M. Mendler. 2. A Functional Semantics for Unit-Delay VHDL; P.T. Breuer, L. Sánchez Fernanández, C. Delgado Kloos. 3. An Operational Semantics for a Subset of VHDL; J.P. Van Tassel. 4. A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines; E. Börger, U. Glässer, W. Müller. 5. A Formal Model of VHDL Using Coloured Petri Nets; S. Olcoz. 6. A Deterministic Finite-State Model for VHDL; G. Döhmen, R. Herrmann. 7. A Flow Graph Semantics of VHDL: a Basis for Hardware Verification with VHDL; R. Reetz, T. Kropf. References.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
9781461522379 Formal Semantics for VHDL (P. Breuer; Carlos Delgado Kloos)
< para archivar...