Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods in Computer-Aided Design

4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods in Computer-Aided Design Mark D. Aagaard
Libristo-code: 05273449
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, oktober 2002
This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Gesammelte Abhandlungen Zur Funktionellen Anatomie Des Bewegungsapparates Friedrich Pauwels / Boek Gebonden (paperback)
common.buy 105.93 €
The Making of an Englishman Fred Uhlman / Boek Gebonden (paperback)
common.buy 11.84 €
Kroki Maciej Bieszczad / Boek Gebonden (paperback)
common.buy 7.28 €
Kunst Des Zahlens Von Spannbaumen Yirgalem Tsegaye / Boek Gebonden (paperback)
common.buy 35.74 €
GRANDMASTER OF DEMONIC CULTIVATION 01 (MO DAO ZU SHI) Mo Xiang Tong Xiu / Boek Boek
common.buy 16.80 €
Pilíře a limity ochrany osobnosti nejen ve dvacátém prvním století Jakub Sivák / Boek Gebonden (paperback)
common.buy 38.68 €
Oeuvres Completes, Orn Es de 193 Figures... Arnaud Berquin / Boek Gebonden (paperback)
common.buy 29.56 €
TOP
Kutyaszív Mihail Bulgakov / Boek Gebonden (harde band)
common.buy 6.27 €
¡Te quiero, Papá Pig! (Un cuento de Peppa Pig) Hasbro / Boek Gebonden (harde band)
common.buy 16.80 €
De Angelis : sobre filosofía, mercado y postmodernidad José María Ripalda / Boek Gebonden (paperback)
common.buy 20.45 €
Les aventures de Ulises, la historia de l'Odisea, ESO. Auxiliar Anthony Lawton / Boek Gebonden (paperback)
common.buy 21.26 €
Die Bekenntnisse des Hochstaplers Felix Krull, 3 DVDs Thomas Mann / Video Dvd
common.buy 14.27 €
Začátečníci Raymond Carver; Jiří Hrubý / Boek Gebonden (harde band)
common.buy 12.55 €
Pbx Per Colaggio E Compressione Massimo Castiglia / Boek Gebonden (paperback)
common.buy 66.74 €
Beatmung basics - ASB, ATC, AutoFlow, AF, FiO2, Flow, I : E, PEEP, Pmax, Rampe, Tinsp, Trigger, Vt, 2 Medizinische Taschen-Karten / Spel/speelgoed Spel
common.buy 5.66 €
Conni feiert Weihnachten / Conni fährt Ski (Meine Freundin Conni - ab 3), 1 Audio-CD Julia Boehme / Audio Audio cd
common.buy 6.88 €

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods in Computer-Aided Design
Auteur Mark D. Aagaard, John W. O'Leary
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2002
Aantal pagina's 408
EAN 9783540001164
ISBN 3540001166
Libristo-code 05273449
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1290
Afmetingen 155 x 235 x 23

Categorieën

Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Elektrotechniek
Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computer hardware
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Neural Networks: Computational Models and Applications Huajin Tang / Boek Gebonden (harde band)
common.buy 154.55 €
Healing Promises Kenneth Copeland / Boek Gebonden (paperback)
common.buy 12.85 €
Queen's Error Henry Curties / Boek Gebonden (paperback)
common.buy 16.20 €
Small Economies & Global Economics Azman Ahmad / Boek Gebonden (harde band)
common.buy 130.14 €
Emerald Bracelet - Book Three of the Seven Stones of Power Andy Stone / Boek Gebonden (paperback)
common.buy 30.07 €
Three Reading Plays For Children Close / Boek Gebonden (paperback)
common.buy 16.09 €
Virgin & The Dragon Hibbert / Boek Gebonden (paperback)
common.buy 15.79 €
British librarianship and information work 2006-2010 J H Bowman / Boek Gebonden (harde band)
common.buy 44.05 €
Beverly Bedeviled Edward R Brown / Boek Gebonden (paperback)
common.buy 10.83 €
History of the City of New York in the Seventeenth Century Van Rensselaer / Boek Gebonden (harde band)
common.buy 40.20 €
X Factor Clair Berube / Boek Gebonden (harde band)
common.buy 102.69 €
The Mercy Papers: A Memoir of Three Weeks Robin Romm / Boek Gebonden (paperback)
common.buy 13.97 €
What Makes a Plant a Plant? Structure and Defenses Science Book for Children Children's Science & Nature Books BABY PROFESSOR / Boek Gebonden (paperback)
common.buy 14.27 €
My Kinky, Coily Hair AISHA RICE / Boek Gebonden (paperback)
common.buy 9.92 €
Nailed It Marian Newman / Boek Gebonden (harde band)
common.buy 27.13 €
Anxiety Coloring by Number: A Coloring Book for Grown-Ups Providing Relaxation and Encouragement, Creative Activities to Help Manage Stress, Anxie Rns Coloring Studio / Boek Gebonden (paperback)
common.buy 7.59 €
The Traumatic Surreal: Germanophone Women Artists and Surrealism After the Second World War Patricia Allmer / Boek Gebonden (paperback)
common.buy 33.01 €
Halo Effect Anne D. LeClaire / Luisterboek MP3
common.buy 43.34 €
Rough Meditations - From Tour Caddie to Golf Critic, An Insider's Look at the Game Bradley S. Klein / Boek Gebonden (paperback)
common.buy 20.35 €
Frontier Figures Beth E Levy / Boek Gebonden (harde band)
common.buy 109.07 €
Hiding in Death's Shadow Enid Blyton / Boek Gebonden (paperback)
common.buy 13.56 €
Regression Analysis Study Guide Rudolf J. Freund / Boek Gebonden (paperback)
common.buy 48.00 €
Elliptic Partial Differential Equations Vitaly Volpert / Boek Gebonden (harde band)
common.buy 144.22 €
Special Sound Louis Niebur / Boek Gebonden (harde band)
common.buy 79.70 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?