Articoli correlati a Prospects for Hardware Foundations: Esprit Working...
Prospects for Hardware Foundations: Esprit Working Group 8533 Nada - New Hardware Design Methods Survey Chapters: 1546 - Brossura
Sinossi
Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Introduction: NADA and NIL.- Introduction: NADA and NIL.- I Mathematical Foundations.- Streams, Stream Transformers and Domain Representations.- Ideal Stream Algebra.- Normalization by Evaluation.- II Hardware And Dynamical Systems.- Algebraic Models of Superscalar Microprocessor Implementations: a Case Study.- Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms.- Towards an Algebraic Specification of the Java Virtual Machine.- Grid Protocol Specifications.- The Computational Description of Analogue System Behaviour.- Verification and Deductive Design.- Reasoning about Imperfect Digital Systems.- Formal Verification and Hardware Design with Statecharts.- An Exercise in Conditional Refinement.- Deductive Hardware Design: A Functional Approach.
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: molto buono467 Seiten Das Buch befindet sich...
Visualizza questo articolo
EUR 3,95
EUR 9,95 per la spedizione da Germania a Italia
Destinazione, tempi e costiCompra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Prospects for Hardware Foundations: Esprit Working...
Immagini fornite dal venditore
Prospects for Hardware Foundations: Esprit Working Group 8533 Nada - New Hardware Design Methods Survey Chapters Lecture Notes in Computer Science, 1546
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
Broschiert. Condizione: Gut. 467 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. Original-Schutzumschlag vorhanden (siehe Foto). Mit persönlicher Widmung des Autors. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 655. Codice articolo 2143894
Quantità: 1 disponibili
Immagini fornite dal venditore
Prospects for Hardware Foundations
Editore:
Springer Berlin Heidelberg, 1998
ISBN 10: 3540654615
ISBN 13: 9783540654612
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Preface VI I X Table of Contents B. Moeller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NI. Codice articolo 4897224
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA ¿ New Hardware Design Methods Survey Chapters
Editore:
Springer Berlin Heidelberg, 1999
ISBN 10: 3540654615
ISBN 13: 9783540654612
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37. Codice articolo 9783540654612
Quantità: 1 disponibili
Immagini fornite dal venditore
Prospects for Hardware Foundations
ISBN 10: 3540654615
ISBN 13: 9783540654612
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 484 pp. Englisch. Codice articolo 9783540654612
Quantità: 1 disponibili
Foto dell'editore
Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA ? New Hardware Design Methods Survey Chapters (Lecture Notes in Computer Science, 1546)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540654612_new
Quantità: Più di 20 disponibili
Foto dell'editore
Prospects for Hardware Foundations : ESPRIT Working Group 8533 NADA - New Hardware Design Methods Survey Chapters
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9783540654612
Quantità: 10 disponibili
Foto dell'editore
Prospects for Hardware Foundations: Esprit Working Group 8533 : Nada--New Hardware Design Methods, Survey Chapters
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 468 pages. 9.00x6.25x1.00 inches. In Stock. Codice articolo x-3540654615
Quantità: 2 disponibili
Immagini fornite dal venditore
Prospects for Hardware Foundations
Editore:
Springer Berlin Heidelberg Dez 1998, 1998
ISBN 10: 3540654615
ISBN 13: 9783540654612
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37 484 pp. Englisch. Codice articolo 9783540654612
Quantità: 2 disponibili
Foto dell'editore
Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA ? New Hardware Design Methods Survey Chapters (Lecture Notes in Computer Science, 1546)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020173774
Quantità: Più di 20 disponibili