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

Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods in Computer-Aided Design Warren A. Hunt
Libristo-code: 01563129
Uitgeverij Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Volledige beschrijving
? points 249 b
103.10 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON / Boek Boek
common.buy 90.74 €
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Boek Gebonden (harde band)
common.buy 19.03 €
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Boek Gebonden (harde band)
common.buy 34.12 €
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Boek Gebonden (paperback)
common.buy 32.20 €
Julius Caesar William Shakespeare / Boek Boek
common.buy 7.79 €
Kinderhospizarbeit Sven Jennessen / E-book Adobe ePub DRM
common.buy 31.89 €
Broste copenhagen Milchkrug Nordic Sand Spel/speelgoed Speelgoed
common.buy 50.63 €
Wordt verwacht
BACK Green / Boek Gebonden (paperback)
common.buy 25.31 €
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Boek Gebonden (paperback)
common.buy 44.55 €
Loi sur les armes ? feu (Canada) - Edition 2018 La Bibliotheque Juridique / Boek Gebonden (paperback)
common.buy 14.78 €
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Boek Gebonden (paperback)
common.buy 47.49 €
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Boek Gebonden (paperback)
common.buy 37.26 €
Como contar historias sobre desastres? Martins Mario / Boek Gebonden (paperback)
common.buy 25.92 €
Wordt verwacht
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Boek Gebonden (paperback)
common.buy 12.75 €
Hörfunk-Nachrichten - ihre Auswahl, Zusammenstellung und Präsentation Anja Engel / Boek Gebonden (paperback)
common.buy 16.20 €
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Boek Gebonden (harde band)
common.buy 243.88 €

This book constitutes the refereed proceedings of the Third International Conference on Formal Methods in Computer-Aided Design, FMCAD 2000, held in Austin, Texas in November 2000.The 30 revised full papers presented together with two invited contributions were carefully reviewed and selected from 63 submissions. All current issues of research and development approaches based on formal methods for the design and analysis of systems are addressed. Among the topics covered are formal verification, formal specification, systems analysis, program analysis, model checking, automated modeling, program semantics, theorem proving, symbolic simulation, and transition systems.

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 Warren A. Hunt, Steven D. Johnson
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2000
Aantal pagina's 552
EAN 9783540412199
ISBN 3540412190
Libristo-code 01563129
Uitgeverij Springer, Berlin
Gewicht 780
Afmetingen 155 x 235 x 29

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Naslagwerken, informatie en interdisciplinaire onderwerpen > Onderzoek en informatie: algemeen > Informatietheorie > Cybernetica en systeemtheorie
Informatica en informatietechnologie > Grafische en digitale media-applicaties > Computerondersteund ontwerp
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
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling
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

The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Boek Gebonden (paperback)
common.buy 131.05 €
TOP
Incal Alexandro Jodorowsky / Boek Gebonden (harde band)
common.buy 37.87 €
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Boek Gebonden (harde band)
common.buy 181.59 €
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Boek Gebonden (harde band)
common.buy 33.62 €
Legende Ridley Scott / Video Blu-ray
common.buy 13.46 €
Edge of Grace Christa Allan / Boek Gebonden (paperback)
common.buy 14.27 €
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Boek Gebonden (paperback)
common.buy 39.29 €
TOP
Tribe Sebastian Junger / Boek Gebonden (paperback)
common.buy 10.12 €
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Boek Gebonden (paperback)
common.buy 12.35 €
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Boek Gebonden (paperback)
common.buy 103.10 €
TOP
Tales From Acorn Wood Little Library Julia Donaldson / Boek Leporello (harmonicaboek)
common.buy 8.19 €
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Boek Gebonden (paperback)
common.buy 103.30 €
Business Email Marc Roche / Boek Gebonden (paperback)
common.buy 13.87 €
Hidden Beginnings: The Hidden Series Nicole Colville / Boek Gebonden (paperback)
common.buy 15.79 €
Architectural Studies In France (1890) John Louis Petit / Boek Gebonden (paperback)
common.buy 33.41 €
Mr Le Mans: Tom Kristensen Dan Philipsen / Boek Gebonden (harde band)
common.buy 44.35 €
Kunstfuhrer Durch Den Kanton Zurich Attilio D'Andrea / Boek Gebonden (harde band)
common.buy 43.74 €
TOP
MICHAEL STORRINGS SPRINGTIME IN PARIS GALISON / Spel/speelgoed Puzzel
common.buy 16.50 €
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Boek Gebonden (harde band)
common.buy 206.00 €
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Boek Gebonden (harde band)
common.buy 89.83 €
Press Censorship in Elizabethan England Clegg / Boek Gebonden (harde band)
common.buy 126.59 €
Loss of the Ship Essex Sunk By a Whale Owen Chase / Boek Gebonden (paperback)
common.buy 14.78 €
Hand-book Of Toxicology Preston Benjamin Rose / Boek Gebonden (paperback)
common.buy 18.42 €
Political Development and the New Realism in Sub-Saharan Africa David E. Apter / Boek Gebonden (harde band)
common.buy 57.11 €

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?