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
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

Computer Aided Verification

10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification Alan J. Hu
Code Libristo: 05274836
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 1998
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided... Description détaillée
? points 263 b
107.29 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Bientôt
SOUPES ET MINESTRONE BERNARSCONI-CETTEUBNER-C Livre Livre
common.buy 12.19 €
Moderno diccionario del diablo MARCIUS SHAPIRO / Livre Livre relié
common.buy 18.19 €
Lambacher Schweizer Mathematik 8. Ausgabe Thüringen / Livre Feuille
common.buy 13.39 €
Brest abri 668 GERARD Livre Livre de poche
common.buy 13.49 €
BTS De la musique avant toute chose ? - Culture générale et expression - Examens 2021 et 2022 Manresa Livre Livre de poche
common.buy 13.49 €
Rich Dad Poor Dad. Zusammenfassung & Analyse des Bestsellers von Robert T. Kiyosaki / Livre Livre de poche
common.buy 14.99 €
On ne parle pas aux chouchous ! Kecir-Lepetit / Livre Livre de poche
common.buy 8.59 €
Messmer winterpunsch tee, 50g Jeu/jouet Jouet
common.buy 7.29 €
Tempo e aspectos em Christian Bobin's The Missing Part Sara Ben Larbi / Livre Livre de poche
common.buy 52.19 €
Matka kuuhun / Livre Livre relié
common.buy 27.89 €
Hermeneutiken Lutz Danneberg / Livre Livre relié
common.buy 196.19 €
Hase und Igel Axel Scheffler / Livre Livre de poche
common.buy 7.50 €
Bu Benim.Zip Asli Serin / Livre Livre de poche
common.buy 11.59 €
Familienunternehmen im Nachfolgeprozess Frank A. Halter / Livre Livre de poche
common.buy 62.00 €
Le Soldat Magicien: Opera-Comique En 1 Acte Louis Anseaume / Livre Livre de poche
common.buy 14.99 €
Praktische Rationalitat Julian Nida-Rümelin / Livre Livre relié
common.buy 149.79 €
100 Abenteuerreisen Rudolf S Rehberg / Livre Livre de poche
common.buy 39.00 €
Strategien der Identitätssuche Iris Julia Gütler / Livre Livre de poche
common.buy 62.29 €
Hannebambel Roland Pecher / Jeu/jouet Jeu
common.buy 9.95 €
neue E-Bilanz Judith Pohler / Livre Livre de poche
common.buy 24.99 €

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

Actrice & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Computer Aided Verification
Auteur Alan J. Hu, Moshe Y. Vardi
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1998
Nombre de pages 552
EAN 9783540646082
ISBN 3540646086
Code Libristo 05274836
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 720
Dimensions 156 x 234 x 29

Catégories

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
Informatique et technologies de l’information > Systèmes d’exploitation
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

Selected Articles on Social Insurance. Multiple Contributors / Livre Livre de poche
common.buy 37.49 €
Study of the Effect of Incandescent Gas-Light on Plant Growth Lee C. Corbett / Livre Livre de poche
common.buy 12.29 €
Kept for Jesus Sam Storms / Livre Livre de poche
common.buy 19.79 €
When the Clouds Fell from the Sky Robert Carmichael / Livre numérique Adobe ePub DRM
common.buy 4.49 €
Fenway Park David Hickey / Livre Livre de poche
common.buy 21.79 €
The Founding Foodies Dave DeWitt / Livre Livre de poche
common.buy 21.89 €
Manhunt: The Pursuit of Harry Tracy Bill Gulick / Livre Livre de poche
common.buy 18.39 €
Long Challenge: The Empowerment Controversy (1967-1977) Victor H. Carpenter / Livre Livre de poche
common.buy 13.19 €
Principles of Marketing Philip T. Kotler / Livre Livre relié
common.buy 273.19 €
GAME OF EMPIRES Edward S. (Edward Sims) 1863 Van Zile / Livre Livre relié
common.buy 35.79 €
Liberal Quicksand Yves Decock / Livre Livre de poche
common.buy 26.49 €
Precedents in Conveyancing: A Collection of Forms of Assurances of Real and Personal Property Adapted to the Present State of the Law ... Volume 4 S Vallis Bone / Livre Livre de poche
common.buy 30.29 €
THE CHORDATES HERBERT W. 187 RAND / Livre Livre de poche
common.buy 37.69 €
Uncovered Ian Birch / Livre Livre relié
common.buy 54.59 €
Third Sector Meghan Kallman / Livre Livre de poche
common.buy 25.89 €
Orson Welles Chris Wade / Livre Livre de poche
common.buy 16.19 €
Decarbonising The World's Economy: Assessing The Feasibility Of Policies To Reduce Greenhouse Gas Emissions Douglas Crawford-Brown / Livre Livre relié
common.buy 146.19 €
Quantum Mechanics and the Philosophy of Alfred North Whitehead Michael Epperson / Livre Livre de poche
common.buy 41.89 €
Challenge of Democratic Representation in the European Union Sandra Kroger / Livre Livre relié
common.buy 60.39 €
Dark Object Don Ledger / Livre Livre de poche
common.buy 7.29 €
ENT MCQs for Medical Students Mannu Odutoye / Livre Livre de poche
common.buy 59.69 €
Arsenic in the Environment, Part 2 J. O. Nriagu / Livre Livre relié
common.buy 319.79 €
Companion to 19th-Century America Barney / Livre Livre de poche
common.buy 62.59 €
Vegan Family Meals Ann Gentry / Livre Livre relié
common.buy 23.79 €

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 ?