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

Verification, Model Checking, and Abstract Interpretation

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification, Model Checking, and Abstract Interpretation Roberto Giacobazzi
Code Libristo: 01662910
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2013
This book constitutes the refereed proceedings of the 14th International Conference on Verification,... 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é

Schmerz N. Birbaumer / Livre Livre de poche
common.buy 55.29 €
Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L / Livre Livre de poche
common.buy 19.99 €
Straßenverkehrsordnung (StVO) / Livre Livre de poche
common.buy 18.99 €
Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl / Livre Livre relié
common.buy 11.79 €
Praha Thomas Käfer / Livre Livre de poche
common.buy 22.95 €
Faustine Ida von Hahn-Hahn / Livre Livre de poche
common.buy 14.90 €
Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca / Livre Livre de poche
common.buy 35.09 €
Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann / Livre Livre de poche
common.buy 16.39 €
SONATE PIANO PIANO ROBERT MOEVS Livre binding.
common.buy 35.89 €
Une Vie pour une Autre Levet / Livre Livre de poche
common.buy 23.59 €
Nur ein Geiger Hans Christian Andersen / Livre Livre de poche
common.buy 23.90 €
Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann / Livre Livre de poche
common.buy 64.99 €
Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber / Livre Livre de poche
common.buy 32.90 €
Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N / Livre Livre de poche
common.buy 26.09 €
Dramaturgie in der Ausstellung Sibylle Lichtensteiger / Livre Livre de poche
common.buy 22.09 €
Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt / Livre Livre de poche
common.buy 27.95 €
Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold / Livre Livre de poche
common.buy 13.90 €
Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B / Livre Livre de poche
common.buy 51.19 €
Gabler Lexikon Personal Ulrich Büdenbender / Livre Livre de poche
common.buy 54.99 €
System der Politik Harald Bluhm / Livre Livre de poche
common.buy 44.99 €
Zum Bildungsbedarf für Datensicherheit Frank Spieß / Livre Livre de poche
common.buy 71.69 €
Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo / Livre Livre de poche
common.buy 36.49 €
Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard / Livre Livre de poche
common.buy 55.29 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation
Auteur Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2013
Nombre de pages 556
EAN 9783642358722
ISBN 3642358721
Code Libristo 01662910
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 860
Dimensions 155 x 235 x 31

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 > Programmation informatique / génie logiciel > Génie logiciel > Test et vérification de logiciel
Informatique et technologies de l’information > Informatique > Interaction homme-machine > Conception de l’interface utilisateur et facilité d’utilisation
Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
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
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

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications César San Martin / Livre Livre de poche
common.buy 60.49 €
Non-equilibrium Thermodynamics of Superfluid Helium and Quantum Turbulence Maria Stella Mongiovì / Livre Livre relié
common.buy 89.39 €
Albert and the Pond Ian Brown / Livre Livre de poche
common.buy 9.19 €
The Mind's Eye Peter Jackson-Main / Livre Livre de poche
common.buy 40.39 €
Dictionary of Scholastic Philosophy Bernard Wuellner / Livre Livre de poche
common.buy 19.79 €
Krampus Tales: A Killer Anthology Sinead McCabe / Livre Livre de poche
common.buy 13.59 €
Quotable Kid Book: A Parent's Keepsake of Unforgettable Quotes Rlt Print / Livre Livre de poche
common.buy 7.89 €
Return to Limerick W. L. Wright / Livre Livre de poche
common.buy 14.39 €
The House of a Thousand Candles Meredith Nicholson / Livre Livre de poche
common.buy 14.59 €
Legend of the Lost William Wayne Dicksion / Livre Livre de poche
common.buy 12.69 €
Ripley's Canyon Richard Brauer / Livre Livre de poche
common.buy 17.39 €
Leave It to Me... My Life in Music Donn Trenner / Livre Livre de poche
common.buy 27.89 €
Developments in Healthcare Information Systems and Technologies Joseph Tan / Livre Livre relié
common.buy 276.69 €
I Already Am Vincent Tozzi / Livre Livre de poche
common.buy 13.49 €
Analects of Confucius Arthur Waley / Livre Livre relié
common.buy 125.49 €
Beyond Horse Massage Jim Masterson / Livre Livre relié
common.buy 30.19 €
Dying for the Dark Peter Lancett / Livre Livre de poche
common.buy 6.99 €

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 ?