Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Formal Methods in Computer-Aided Design

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods in Computer-Aided Design Warren A. Hunt
Code Libristo: 01563129
Éditeurs Springer, Berlin, novembre 1999
This book constitutes the refereed proceedings of the Third International Conference on Formal Metho... Description détaillée
? points 249 b
102.90 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

JOHANN MATTHESON: EL PERFECTO MAESTRO DE CAPILLA (HAMBURGO, MATTHESON / Livre Livre
common.buy 83.49 €
Terapia smiechom Diana Ďuricová / Livre Livre de poche
common.buy 18.09 €
Julius Caesar William Shakespeare / Livre Livre
common.buy 7.77 €
Kinderhospizarbeit Sven Jennessen / Livre numérique Adobe ePub DRM
common.buy 31.83 €
Comment peut-on être Berbère ? - Amnésie, renaissance, soulèvement - Livre collegium / Livre Livre de poche
common.buy 31.94 €
Denken. Aufrütteln. Gestalten. Life is a Story - story.one Matthias Strolz / Livre Livre relié
common.buy 17.98 €
Dinosaurios y criaturas prehistóricas EMILY HAWKINS / Livre Livre relié
common.buy 32.74 €
Bientôt
BACK Green / Livre Livre de poche
common.buy 25.06 €
Une breve histoire de la philosophie Droit / Livre Livre de poche
common.buy 12.93 €
Contribution à la maintenance à base des réseaux de Pétri flous Feres Ben Saad / Livre Livre de poche
common.buy 44.47 €
Dhakafaar Cabdullaahi Janno / Livre Livre de poche
common.buy 12.12 €
Die Kopplung von Wissenschaft und Wirtschaft Thomas Heinze / Livre Livre de poche
common.buy 45.18 €
Abwehr wirtschaftskrimineller Handlungen in Kreditinstituten / Livre Livre de poche
common.buy 35.37 €
Como contar historias sobre desastres? Martins Mario / Livre Livre de poche
common.buy 25.87 €
Bientôt
DIE FREIMAUREREI IHREN ANHÄNGERN VERSTÄNDLICH GEMACHT - BAND 3: DER MEISTER. Bd.3 Oswald Wirth / Livre Livre de poche
common.buy 12.73 €
Festschrift für Hans-Heinrich Jescheck zum 70. Geburtstag. Theo Vogler / Livre Livre relié
common.buy 252.83 €

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 & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Formal Methods in Computer-Aided Design
Auteur Warren A. Hunt, Steven D. Johnson
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2000
Nombre de pages 552
EAN 9783540412199
ISBN 3540412190
Code Libristo 01563129
Éditeurs Springer, Berlin
Poids 780
Dimensions 155 x 235 x 29

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Références, informations et sujets interdisciplinaires > Information et traitement de données : généralités > Théorie de l’information > Cybernétique et théorie de systèmes
Informatique et technologies de l’information > Applications graphiques et applications médias numériques > Conception assistée par ordinateur (CAO)
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Informatique et technologies de l’information > Matériel informatique
Informatique et technologies de l’information > Programmation informatique / génie logiciel
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

The 8th International Conference on Laser Applications - ICLA 2011 Mohamed Abdel Harith / Livre Livre de poche
common.buy 124.54 €
Top
May We Be Spared to Meet on Earth Regina Koellner / Livre Livre relié
common.buy 55.90 €
Hand-book Of Toxicology Preston Benjamin Rose / Livre Livre de poche
common.buy 18.39 €
Addresses Educational, Political, Scientific, Religious James Thomas Edwards / Livre Livre relié
common.buy 33.55 €
Legende Ridley Scott / Video Blu-ray
common.buy 12.73 €
Edge of Grace Christa Allan / Livre Livre de poche
common.buy 14.24 €
Look Smarter Than You are with Oracle Enterprise Performance Reporting Cloud Interrel Consulting / Livre Livre de poche
common.buy 39.21 €
Tribe Sebastian Junger / Livre Livre de poche
common.buy 10.10 €
The Wonderful Wizard Of Oz MR Lyman Frank Baum / Livre Livre de poche
common.buy 12.32 €
Flotation Reagents: Applied Surface Chemistry on Minerals Flotation and Energy Resources Beneficiation DIANZUO WANG / Livre Livre de poche
common.buy 102.90 €
Top
Tales From Acorn Wood Little Library Julia Donaldson / Livre Livre Concertina
common.buy 7.67 €
CCIE Enterprise Infrastructure Foundation Narbik Kocharians / Livre Livre de poche
common.buy 103.11 €
Business Email Marc Roche / Livre Livre de poche
common.buy 13.84 €
Hidden Beginnings: The Hidden Series Nicole Colville / Livre Livre de poche
common.buy 15.76 €
Architectural Studies In France (1890) John Louis Petit / Livre Livre de poche
common.buy 40.12 €
Mr Le Mans: Tom Kristensen Dan Philipsen / Livre Livre relié
common.buy 42.05 €
Chinese Economic Statecraft from 1978 to 1989 Priscilla Roberts / Livre Livre relié
common.buy 181.25 €
Darkling Child Terry Brooks / Livre Livre de poche
common.buy 9.70 €
Irreversible Phenomena and Dynamical Systems Analysis in Geosciences C. Nicolis / Livre Livre relié
common.buy 205.62 €
Gestures and Speech Pierre FeyereisenJacques-Dominique de Lannoy / Livre Livre relié
common.buy 89.66 €
Press Censorship in Elizabethan England Clegg / Livre Livre relié
common.buy 126.36 €
Loss of the Ship Essex Sunk By a Whale Owen Chase / Livre Livre de poche
common.buy 14.75 €
Top
MICHAEL STORRINGS SPRINGTIME IN PARIS GALISON / Jeu/jouet Puzzle
common.buy 15.46 €
Political Development and the New Realism in Sub-Saharan Africa David E. Apter / Livre Livre relié
common.buy 57.01 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?