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 €
phone Contact phoneComment faire ses achats

Computer Aided Verification

6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Computer Aided Verification David L. Dill
Code Libristo: 05274394
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juin 1994
This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at S... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

autunno caldo. Crisi ecologica, emergenza climatica e altre catastrofi innaturali Andrea Fantini / Livre Livre de poche
common.buy 22.89 €
Insegnare non basta. Essere un maestro nella scuola di oggi Marco Erba / Livre Livre de poche
common.buy 17.89 €
Orthodontische/chirurgische behandeling van verticale skeletdysplasie Priyanka Choudhary / Livre Livre de poche
common.buy 35.49 €
Google adwords CAUMONT / Livre Livre
common.buy 35.09 €
How to Stay Human in a F*cked-Up World (Spanish edition) Tim Desmond / Livre numérique Adobe ePub DRM
common.buy 10.29 €
danza delle ombre. Spie, agenti e molti segreti Guido Olimpio / Livre Livre relié
common.buy 25.69 €
Puedes Preguntar Porque Dios Responde: Todo Lo Que Querías Saber Está Aquí Norma Flores / Livre Livre de poche
common.buy 10.69 €
BASICS Psychiatrie Anja Volz / Livre Livre de poche
common.buy 27.00 €
ARANCINI KUNST Malle Raudsepp / Livre Livre de poche
common.buy 34.29 €
Les cycles économiques Ferrara / Livre Livre de poche
common.buy 34.49 €
HuMan ???????? ?????? Hans-Jurgen Klaussner AR / Livre numérique Adobe ePub DRM
common.buy 9.19 €
13 Gesetze der Weisheit Kim Barkmann / Livre Livre de poche
common.buy 16.90 €
Top Bientôt Nouveauté
Boruto - Two Blue Vortex 6 Mikio Ikemoto / Livre Livre de poche
common.buy 7.50 €
On Opened Ground Mark-Anthony Turnage / Articles imprimés Partitions
common.buy 50.09 €
Citadino Mistico MOISES RODRIGUEZ / Livre Livre de poche
common.buy 8.69 €
Tagliche Mathe-UEbungen fur Klasse 5 Thomas Linke / Livre Livre de poche
common.buy 16.99 €
Geschichtsbilder Jürgen Aretz / Livre Livre de poche
common.buy 13.89 €
Gemeinschaft und Identität spätmittelalterlicher Kleinstädte Westfalens Guido Heinzmann / Livre Livre de poche
common.buy 34.90 €
Historia del mundo en el siglo XX : a través de las grandes biografías, novelas y películas Onésimo Díaz Hernández / Livre Livre de poche
common.buy 25.69 €
El caballo, cría y manejo Enzo Berner / Livre Livre de poche
common.buy 25.69 €
Autobiografía de mi madre Jamaica Kincaid / Livre Livre de poche
common.buy 22.99 €
La Bíblia de tots Pilarín Bayés / Livre Livre de poche
common.buy 31.69 €
El teatro de vanguardia en Canarias. 1924-1936 Roberto Javier García de Mesa / Livre Livre de poche
common.buy 45.99 €
LE CHAT COULEUR MURAILLE PIANO GEORGES BIZET Livre binding.
common.buy 11.49 €

This volume contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993.The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.

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 David L. Dill
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1994
Nombre de pages 486
EAN 9783540581796
ISBN 3540581790
Code Libristo 05274394
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1520
Dimensions 155 x 235 x 26

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique
Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
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

Topology Optimization Martin Ph. Bendsoe / Livre Livre de poche
common.buy 150.19 €
Love Scrolls Edward Theodore Hayes / Livre Livre relié
common.buy 23.59 €
Exposition of Browning's 's Ordello' David Duff / Livre Livre relié
common.buy 34.79 €
Complete Works of Charles Dickens (in 30 Volumes, Illustrated) Charles Dickens / Livre Livre de poche
common.buy 23.99 €
Sparkcharts Calculus II Sparknotes LLC / Livre Livre de poche
common.buy 7.19 €
Sparky the Rescue Dog Saves the Day Gail Westover / Livre Livre de poche
common.buy 11.59 €
Broadway Michelle Young / Livre Livre relié
common.buy 25.79 €
Aid to the MRCP PACES Volume 1 - Stations 1 and 3 4e Robert E J Ryder / Livre Livre de poche
common.buy 81.49 €
Top
Golden Kamuy, Vol. 1 Satoru Noda / Livre Livre de poche
common.buy 12.49 €
The Monastery Walter Scott / Livre Livre de poche
common.buy 25.69 €
War of the Seasons, Book Two: The Half-blood Janine K Spendlove / Livre Livre de poche
common.buy 18.19 €
Kanban: Visualize Work and Maximize Efficiency: Beyond the Basics Gary Metcalfe / Livre Livre de poche
common.buy 20.09 €
Weekly Self-Care Journal (Guided Journal): 52 Practices for Balance and Well-Being Katia Narain Phillips / Livre Livre de poche
common.buy 18.39 €
Perioperative Medicine Consult Handbook Molly Blackley Jackson / Livre Livre de poche
common.buy 71.79 €
Startup CEO Matt Blumberg / Livre Livre relié
common.buy 26.19 €
Secure And Policy Compliant Source Routing Rahul D / Livre Livre de poche
common.buy 51.19 €
My Mother, The Liar Ann Troup / Livre numérique Adobe ePub DRM
common.buy 6.49 €
Handbook of Anti-Aging Medicine Mike Ks Chan / Livre Livre de poche
common.buy 197.49 €
Manual of Prayers / Livre Livre relié
common.buy 55.09 €
Top Nouveauté
Outlaw Planet M. R. Carey / Livre Livre de poche
common.buy 11.09 €
Bientôt
God Knows His Name David Bakke / Livre Livre relié
common.buy 58.29 €
Drop S. R. Masters / Livre numérique Adobe ePub DRM
common.buy 7.99 €
Unpublished Opinions of the Burger Court Bernard Schwartz / Livre Livre relié
common.buy 146.89 €
Top
Abandon the Old in Tokyo Yoshihiro Tatsumi / Livre Livre de poche
common.buy 14.29 €

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 ?