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

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods in Computer-Aided Design Alan J. Hu
Libristo-code: 01560042
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2004
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Kde je pan Kačer? Knížka do kočárku Ingela P. Arrhemius / Boek Leporello (harmonicaboek)
common.buy 8.19 €
EL FIN DE LA REVOLUCION SOCIAL BAKUNIN / Boek Boek
common.buy 15.39 €
Maca Kizi 8 - 1. Kitap Ciltli / Boek Gebonden (paperback)
common.buy 23.08 €
Ceci n'est pas une chanson d'amour Alessandro ROBECCHI / Boek Gebonden (paperback)
common.buy 17.92 €
Se souvenir de la Normandie GROS / Boek Gebonden (harde band)
common.buy 31.08 €
BABADADA, Turkce - latviesu valoda, goersel soezluk - Attēlu vārdnīca BABADADA GMBH / Boek Gebonden (paperback)
common.buy 28.35 €
Statuts, Ordonnances Et Declaration Du Roy Du 7 Octobre 1675, Confirmative d'Iceux Louis XIV / Boek Gebonden (paperback)
common.buy 13.66 €
Akt małżeński Knotz Ksawery / Audio Audio cd
common.buy 6.27 €
Brangane-Figur bei Gottfried von Strassburg und Viola Alvarez Claudia Stoiser / Boek Gebonden (paperback)
common.buy 16.20 €
Die deutsche Rechtsprechung auf dem Gebiete des Internationalen Privatrechts im Jahre 2011 Rainer Kulms / Boek Gebonden (harde band)
common.buy 377.98 €
Grablege Karls des Grossen Gergely Kapolnasi / Boek Gebonden (paperback)
common.buy 16.20 €
Elektromagnetische Schirmung Hans A. Wolfsperger / Boek Gebonden (harde band)
common.buy 216.53 €
Paris war eine Frau Andrea Weiss / Boek Gebonden (paperback)
common.buy 18.02 €
Klick! Deutsch - Ausgabe 2007 - 7. Schuljahr Dorothee Braun / Boek Gebonden (paperback)
common.buy 13.87 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004.§The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The papers address all current issues on tools, methods, algorithms, and foundational theory for the application of formalized reasoning to all aspects of computer-aided systems design, including specification, verification, synthesis, and testing.

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 Alan J. Hu, Andrew K. Martin
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2004
Aantal pagina's 448
EAN 9783540237389
ISBN 3540237380
Libristo-code 01560042
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1430
Afmetingen 155 x 235 x 25

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
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 > Informatica > Kunstmatige intelligentie (AI)
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

TOP
Battle Angel Alita: Last Order Omnibus 1 Yukito Kishiro / Boek Gebonden (paperback)
common.buy 15.79 €
Voordelig
Airline Aircraft Maintenance John Revere / Boek Gebonden (paperback)
common.buy 37.46 €
Fetch Paul Richardson / Boek Gebonden (paperback)
common.buy 18.42 €
How to draw floral mandala Jose Rodriguez / Boek Gebonden (paperback)
common.buy 10.32 €
Kjver Discover Jesus New Testament Soft Cover: King James Version Easy Read Whitaker House / Boek Gebonden (paperback)
common.buy 15.79 €
Annual Report of the Chief Signal Officer to the Secretary of War Signal Office / Boek Gebonden (harde band)
common.buy 29.77 €
The Elements of Euclid Robert Simson / Boek Gebonden (paperback)
common.buy 24.10 €
Science Fiction and Fantasy Literature Vol 1 R. Reginald / Boek Gebonden (harde band)
common.buy 62.89 €
Blairgowrie, Kirriemuir and Glamis Ordnance Survey / Drukwerk Kaart
common.buy 14.88 €
EC2ND 2005 Andrew Blyth / Boek Gebonden (paperback)
common.buy 119.81 €
Commerce and Navigation of the Erythraean Sea; Being a Translation of the Periplus Maris Erythraei, by an Anonymous Writer, and of Arrian's Account of nonymous / Boek Gebonden (paperback)
common.buy 26.73 €
TOP
Manual of Systematic Eyelid Surgery J. R. O. Collin / Boek Gebonden (paperback)
common.buy 84.97 €
TOP
Spot's First Christmas Eric Hill / Boek Leporello (harmonicaboek)
common.buy 9.31 €
TROUVER AA PLACE INDIVIDUS ET COMMUNAUT Roullet / Boek Gebonden (paperback)
common.buy 36.86 €
Prince William: Born to be King Penny Junor / Boek Gebonden (paperback)
common.buy 14.88 €
Group Processes John M Levine / Boek Gebonden (harde band)
common.buy 209.34 €
Jesus in Twentieth Century Literature, Art, and Movies Paul Burns / Boek Gebonden (paperback)
common.buy 62.58 €
Dispossession - The Performative in the Political Judith Butler / Boek Gebonden (harde band)
common.buy 73.42 €

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?