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.

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Ed Brinksma
Code Libristo: 01564506
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juillet 2002
This book constitutes the refereed proceedings of the 14th International Conference on Computer Aide... Description détaillée
? points 249 b
102.73 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Anna und die mongolische Prinzessin: Quentin Akademie der magischen Künste und Wissenschaften, Buch 3 Brigitte Novalis / Livre Livre de poche
common.buy 13.92 €
Top
Biblia Reina Valera Letra Súper Gigante, Símil Piel Negro / Spanish Bible Reina Valera Super Giant Print, Black Leathersoft Reina Valera 1909 / Livre Livre de poche
common.buy 28.96 €
Metapolitica. Trasformazione globale e guerra fra potenze Daniel Estulin / Livre Livre de poche
common.buy 37.33 €
Model dydaktyczny dotycz¿cy kszta¿cenia zawodowego w dziedzinie po¿o¿nictwa Carmen Hild-Schober / Livre Livre de poche
common.buy 55.00 €
20.000 leguas de viaje submarino Jules Verne / Livre Livre relié
common.buy 20.38 €
I care Lernkarten Spezielle Pflege - Anatomie, Physiologie, Krankheitslehre und Pflege bei speziellen Erkrankungen Walter Anton / Jeu/jouet Jeu
common.buy 42.38 €
Marketing Gubernamental. Manual de estrategias y herramientas para gobiernos e instituciones en la e PEREZ ROJAS / Livre Livre de poche
common.buy 34.10 €
Albert & Einstein. Spannender Rätselkrimi zum Mitraten, Band 1: In den Fängen von Dr. Chaos (Lustiges Rätselbuch ab 8 Jahre) Tim Collins / Livre Livre de poche
common.buy 7.36 €
O Livro de Metatron - O Anjo da Presença Max Stone / Livre Livre de poche
common.buy 15.53 €
¡De vacaciones! PETER KNORR / Livre Livre de poche
common.buy 16.84 €
Pán prstenů Návrat krále John Ronald Reuel Tolkien / Livre Livre relié
common.buy 24.72 €
Journal Martin du Gard / Livre Livre relié
common.buy 70.13 €
Pferd als Lernhelfer fur verhaltensauffallige Kinder und Jugendliche Claudia Zeller / Livre Livre de poche
common.buy 64.68 €
Magdeburger Drogenmarkt Sven Paschke / Livre Livre de poche
common.buy 33.90 €
Stein Unter Steinen: Schauspiel in 4 Akten Hermann Sudermann / Livre Livre de poche
common.buy 19.27 €
Cocktails Manuela Eder / Livre Livre relié
common.buy 5.64 €
Aus Dem Geschlecht Der Byge - Erster Band Laurids Bruun / Livre Livre relié
common.buy 22.29 €
Abenteuer des schwarzen Gerard 2 Karl May / Livre Livre relié
common.buy 26.74 €
Hayaller Gemisi Koray Avci cakman / Livre Livre de poche
common.buy 7.26 €
Lean Management Andreas Kammel / Livre Livre de poche
common.buy 42.38 €
Science Fiction Stories Jürgen Schnaible / Livre Livre de poche
common.buy 35.52 €
Čeho bychom se měli obávat? John Brockman / Livre Livre de poche
common.buy 12.10 €
Tiere und ihr Zuhause Claudia Boldt / Jeu/jouet Jeu
common.buy 14.22 €
Contraception Et D sir d'Enfant Aimée Patricia Ndembi Ndembi / Livre Livre de poche
common.buy 70.24 €

This book constitutes the refereed proceedings of the 14th International Conference on Computer Aided Verification, CAV 2002, held in Copenhagen, Denmark in July 2002. The 35 revised full papers presented together with five invited contributions and 11 tool presentations were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections in symbolic model checking, abstraction/refinement and model checking, compositional/structural verification, timing analysis, SAT based methods, infinite state model checking, extended model checking, code verification, regular model checking and acceleration, and model reduction.

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 Computer Aided Verification
Auteur Ed Brinksma, Kim G. Larsen
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 362
EAN 9783540439974
ISBN 3540439978
Code Libristo 01564506
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 2010
Dimensions 155 x 233 x 36

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
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

Essential Elements Jazz Play-Along - Jazz Standards: Rhythm Section [With CDROM] Hal Leonard Corp / Livre Livre de poche
common.buy 14.02 €
The Case of the Measled Cowboy John R. Erickson / Audio CD Audio
common.buy 20.28 €
Introduction to Home Management Sandhya Rani Mohanty / Livre Livre de poche
common.buy 35.62 €
Top
Let's Find Momo! Andrew Knapp / Livre Livre Concertina
common.buy 7.86 €
LAW REPORTS PRIVY COUNCIL APPE Great Britain Privy Council Judicial C. / Livre Livre relié
common.buy 39.15 €
SAXON MATH COURSE 1 Saxpub / Livre Livre relié
common.buy 210.32 €
Taste of Home How Do I Make...? Editors at Taste of Home / Livre Livre de poche
common.buy 16.64 €
The Prodigal Son Revisited: Exit and Return of Angels, Humans, and the Trinity MR Samuel J Castellino / Livre Livre de poche
common.buy 17.45 €
Under the Gaslight Augustin Daly / Livre Livre de poche
common.buy 12.61 €
Stephen Crane's Classics: The Red Badge of Courage and Maggie: A Girl of the Streets Stephen Crane / Livre Livre de poche
common.buy 10.28 €
Cheerleading Kaitlyn Duling / Livre Livre relié
common.buy 32.99 €
Pediatric Dysphagia Julina Ongkasuwan / Livre Livre relié
common.buy 140.68 €
Harry Potter and the Half-Blood Prince, 6 J K Rowling / Livre Livre de poche
common.buy 12.10 €
Housing in Taiwan William D.H. Li / Livre Livre relié
common.buy 172.37 €
This Is Not A Book Keri Smith / Livre Livre de poche
common.buy 18.06 €
Who Is Bharat Mata? On History, Culture and the Idea of India Purushottam Agrawal / Livre Livre de poche
common.buy 29.06 €
Hawaiian Chihuahua Ukulele Tabs / Livre Livre de poche
common.buy 9.38 €
Dynamic Well Testing in Petroleum Exploration and Development Yongxin Han / Livre Livre de poche
common.buy 198.92 €
Sunkisses Larsee H Mac / Livre Livre de poche
common.buy 14.83 €
Mauser Rifles, Vol. 1: 1870-1918 GUILLOU LUC / Livre Livre relié
common.buy 25.52 €
The Religion Of The Spirit World: Written By The Spirits Themselves (1920) George Henslow / Livre Livre de poche
common.buy 27.75 €
Top
Epic Drives of the World 1 Lonely planet eng / Livre Livre de poche
common.buy 15.94 €
Inspired Winsome James / Livre Livre de poche
common.buy 17.55 €
Torchwood The Men Who Sold The World Guy Adams / Livre audio MP3
common.buy 8.06 €

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 ?