Importe total (1 artículo artículos):
Destino del pedido:
formal models semantics (46 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (46)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
Encuadernación
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (1)
- Con imágenes (18)
- No impresión bajo demanda (39)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
SYNTAX-DIRECTED SEMANTICS.: Formal models based on tree transducers, Edition en anglais
Idioma: Inglés
Publicado por Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1998
ISBN 10: 3540646078 ISBN 13: 9783540646075
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 3,14
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque. Edition 1998. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1998. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Ammareal, Morangis, Francia
Calificación del vendedor: 5 de 5 estrellas
OportunidadEUR 14,39
Envío por EUR 16,50
Se envía de Francia a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Très bon. Ancien livre de bibliothèque avec équipements. Edition 1999. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1999. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
EUR 32,36
Envío por EUR 7,49
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 184 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 36,59
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 184.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 4 de 5 estrellas
EUR 33,14
Envío por EUR 9,95
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 184.
-
Syntax-directed semantics. Formal models based on tree transducers.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 5,83
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. x, 269 S. Gebrauchtes Buch aus ehem. Privatbesitz. GUTER Zustand, wenige Gebrauchsspuren. Used book, few traces of use. C07318 9783540646075 Sprache: Englisch Gewicht in Gramm: 550.
-
Formal Semantics And Proof Techniques For Optimizing Vhdl Models (Hb)
Librería: Basi6 International, Irving, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 48,71
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Formal Semantics And Proof Techniques For Optimizing Vhdl Models (Hb)
Librería: Romtrade Corp., STERLING HEIGHTS, MI, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 48,85
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Formal Semantics And Proof Techniques For Optimizing Vhdl Models (Hb)
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 50,97
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Semantics And Proof Techniques For Optimizing Vhdl Models (Hb)
Librería: SMASS Sellers, IRVING, TX, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 51,52
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoCondición: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 42,27
Envío por EUR 15,67
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,550grams, ISBN:9780792383758.
-
Formal models and semantics.
Idioma: Inglés
Publicado por Amsterdam, Elsevier, 1998
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 16,95
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. XIV, 1273 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03361 444880747 Sprache: Englisch Gewicht in Gramm: 1150 1. MIT Press paperback edition, 2. printing.
-
Theoretical Computer Science : Formal Models and Semantics
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 61,69
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoCondición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 58,39
Envío por EUR 3,22
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Acceptable. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
-
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 61,91
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
-
Edición internacionalFORMAL SEMANTICS AND PROOF TECHNIQUES FOR OPTIMIZING VHDL MODELS (HB)
Librería: UK BOOKS STORE, London, LONDO, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 62,93
Envío por EUR 6,90
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 11 disponibles
Añadir al carritoCondición: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Formal Models and Semantics. Handbook of Theoretical Computer Science.
Idioma: Inglés
Publicado por Burlington, Elsevier Science, 2014
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 39,90
Envío por EUR 40,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. 1288 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. L08262 444880747 Sprache: Englisch Gewicht in Gramm: 1900.
-
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics
Librería: ebooks Keystone, Reading, PA, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 87,49
Envío por EUR 2,57
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: good. This book is in good condition, with minimal signs of wear and tear.
-
Formal Models and Semantics (Handbook of Theoretical Computer Science) (Volume B)
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 73,25
Envío por EUR 20,31
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Volume B. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. B Please note the Image in this listing is a stock photo and may not match the covers of the actual item,2300grams, ISBN:0444880747.
-
Syntax-Directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An EATCS Series)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,13
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,13
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,13
Envío por EUR 13,81
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 129,43
Envío por EUR 2,27
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Semantics and Proof Techniques for Optimizing Vhdl Models
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 114,12
Envío por EUR 17,29
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 141,24
Envío por EUR 3,42
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 184.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Idioma: Inglés
Publicado por Kluwer Academic Publishers, 1998
ISBN 10: 0792383753 ISBN 13: 9780792383758
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Calificación del vendedor: 5 de 5 estrellas
EUR 132,48
Envío por EUR 10,50
Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 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. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438. . 1998. Hardback. . . . .
-
Syntax-directed Semantics: Formal Models Based on Tree Transducers (Monographs in Theoretical Computer Science. An Eatcs Series)
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 152,15
Envío por EUR 11,52
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. reprint edition. 279 pages. 9.25x6.10x0.70 inches. In Stock.
-
Syntax-Directed Semantics | Formal Models Based on Tree Transducers
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 95,15
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Syntax-Directed Semantics | Formal Models Based on Tree Transducers | Zoltan Fülöp (u. a.) | Taschenbuch | x | Englisch | 2011 | Springer | EAN 9783642722509 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 95,15
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Semantics and Proof Techniques for Optimizing VHDL Models | Kothanda Umamageswaran (u. a.) | Taschenbuch | xxi | Englisch | 2012 | Springer | EAN 9781461373315 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Idioma: Inglés
Publicado por Kluwer Academic Publishers, 1998
ISBN 10: 0792383753 ISBN 13: 9780792383758
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 164,58
Envío por EUR 9,01
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 15 disponibles
Añadir al carritoCondición: New. 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. Num Pages: 158 pages, biography. BIC Classification: UMX; UYD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 12. Weight in Grams: 438. . 1998. Hardback. . . . . Books ship from the US and Ireland.
