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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Formal Methods in Computer-Aided Design

First International Conference, FMCAD '96, Palo Alto, CA, USA, November 6-8, 1996, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods in Computer-Aided Design Albert Camilleri
Libristo-code: 05274636
Uitgeverij Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the First International Conference on Formal Metho... Volledige beschrijving
? points 125 b
51.56 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

LA FACE CACHEE DU MARCHE DE L'ART Georgina adam / Boek Gebonden (paperback)
common.buy 33.60 €
MEANDRES D ASIE DU BAIKAL AU BENGALE T2 Riegel Boek Gebonden (paperback)
common.buy 26.33 €
Géométrie sacrée Miranda Lundy / Boek Gebonden (paperback)
common.buy 9.38 €
Baudolino Umberto Eco / Boek Gebonden (paperback)
common.buy 18.36 €
Kommunalrecht Thüringen Till Buchholz / Boek Gebonden (paperback)
common.buy 22.40 €
Sprawdziany dla klasy 4 Język angielski Paszylk Bartłomiej / Boek Gebonden (paperback)
common.buy 2.92 €
Les Maîtres de Bayreuth Charlie Roquin / Boek Gebonden (paperback)
common.buy 11.90 €
Parleremo Languages Word Search Puzzles Malay - Volume 1 Erik Zidowecki / Boek Gebonden (paperback)
common.buy 13.01 €
Flash Gordon 42. Cilt Dan Barry / Boek Gebonden (paperback)
common.buy 23.00 €
Sirr-i Salat Imam Humeyni / Boek Gebonden (paperback)
common.buy 13.11 €
Programme Du Cours Des Maladies Epidemiques ROCHARD-C / Boek Gebonden (paperback)
common.buy 13.62 €
Dítěti vstříc: Teorie literatury pro děti a mládež Lukavská Jana Segi / Boek Gebonden (paperback)
common.buy 10.69 €
Fluch der Karibik, 1 DVD (Movie Edition) Stephen E. Rivkin / Video Dvd
common.buy 10.49 €
Darstellung der Liebe im L'Heptameron von Marguerite de Navarre Susanne Hasenstab / Boek Gebonden (paperback)
common.buy 16.14 €
Kinderalbum op. 39 für Klavier Peter I. Tschaikowski / Drukwerk Bladmuziek
common.buy 21.59 €
Modern Drumming. Schlagzeugschule mit CD zum Mitspielen / Modern Drumming Grooves, m. 1 Audio-CD Diethard Stein / Boek Gebonden (paperback)
common.buy 25.52 €

This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996.The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including 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 Albert Camilleri, Mandayam Srivas
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1996
Aantal pagina's 478
EAN 9783540619376
ISBN 3540619372
Libristo-code 05274636
Uitgeverij Springer, Berlin
Gewicht 628
Afmetingen 156 x 234 x 24

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
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 > 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

Fundamentals of Biomechanics Dawn L. Leger / Boek Gebonden (paperback)
common.buy 91.83 €
God Pocket Bruce Wilkinson / Boek Gebonden (harde band)
common.buy 12.61 €
Tropical Renditions Christine Bacareza Balance / Boek Gebonden (harde band)
common.buy 118.48 €
Manual De Uso De La Moxibustión CHAO CHANG / Boek Gebonden (paperback)
common.buy 10.89 €
Faith Through Reason J Matlary / Boek Gebonden (paperback)
common.buy 18.36 €
Guy Free, Working on Me Shauna Hoffman / Boek Gebonden (paperback)
common.buy 7.66 €
Making Human Rights a Reality Emile M Hafner Burton / Boek Gebonden (paperback)
common.buy 38.24 €
Lectures on Nervous and Mental Diseases Charles Sinclaire Elliott / Boek Gebonden (harde band)
common.buy 50.45 €
C. S. Lewis A Life Alister McGrath / Boek Gebonden (paperback)
common.buy 17.96 €
The Best American Poetry Heather McHugh / Boek Gebonden (harde band)
common.buy 27.04 €
Memoirs of an Italian Terrorist Giorgio / Boek Gebonden (paperback)
common.buy 24.21 €
Models of God and Alternative Ultimate Realities Jeanine Diller / Boek Gebonden (paperback)
common.buy 225.66 €
Irish Fine Art in the Early Modern Period CAROLINE PEGUM / Boek Gebonden (paperback)
common.buy 48.13 €
The Dalton Divorce Case Anonymous / Boek Gebonden (paperback)
common.buy 19.17 €
How to Kindle Fire (How to Start a Fire) David Aman / Boek Gebonden (paperback)
common.buy 6.75 €
"Mad" Mollie - Brooklyn's Supernatural "Saint": One Woman's Bout With Possession, Clairvoyance, Multiple Personalities, And Uncanny Predictions! Sean Casteel / Boek Gebonden (paperback)
common.buy 15.63 €
Crystal Seer Judy Hall / Boek Gebonden (harde band)
common.buy 14.32 €
Wilde About The Girl Louise Pentland / Boek Gebonden (paperback)
common.buy 13.62 €
TOP
Topeka School LERNER BEN / Boek Gebonden (paperback)
common.buy 8.57 €
Sources For Roman History, B.C. 133-170 (1903) Abel Hendy Jones Greenidge / Boek Gebonden (harde band)
common.buy 43.79 €
Science, Politics, And The Agricultural Revolution In Asia Robert S Anderson / Boek Gebonden (paperback)
common.buy 62.87 €
Ultra-High Performance Concrete and High Performance Construction Materials Ekkehard Fehling / Boek Gebonden (paperback)
common.buy 39.96 €
Mystery of Hedgehog Hill Ron Dennis / Boek Gebonden (paperback)
common.buy 10.59 €
Why Do Leaves Change Color? Betsy Maestro / Boek Gebonden (paperback)
common.buy 7.66 €

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?