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.

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Verified Software: Theories, Tools, Experiments Rajeev Joshi
Code Libristo: 01660430
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2012
This volume contains the proceedings of the 4th International Conference on Verified Software: Theor... Description détaillée
? points 142 b
58.64 €
Stockage externe Expédition sous 14-21 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Wilde Westen Barbara Zhanial / Livre Livre de poche
common.buy 79.82 €
Puzzle Podzim v Turecku / Jeu/jouet Puzzle
common.buy 10.32 €
Warrior Cats, Gefährliche Spuren Erin Hunter / Livre Livre de poche
common.buy 10.53 €
Die Cum-Ex-Files Oliver Schröm / Livre Livre de poche
common.buy 16.30 €
Histoire et traditions des peuples Ngowe du Gabon Sergys-Dereck-Romaric Ndong-Ondo / Livre Livre de poche
common.buy 35.75 €
Das Konzept des Sozialkapitals Sandra Seubert / Livre Livre de poche
common.buy 35.45 €
Unter Eis Falk Richter / Livre Livre de poche
common.buy 18.02 €
A Psicologia dos vínculos que nos afetam Gelci Nogueira / Livre Livre de poche
common.buy 49.02 €
El Libro del Vermut: Un Barman Y Un Enólogo Celebran El Aperitivo Más Bebido del Mundo Shaun Byrne / Livre Livre relié
common.buy 38.28 €
Marceline Desbordes-Valmore Stefan Zweig / Livre Livre relié
common.buy 22.38 €
Streichtrio op. 3 und Serenade op. 8 Ssens Trio / Audio CD Audio
common.buy 24.10 €
Hundeschwätzchen Christine Bienert / Livre Livre de poche
common.buy 10.83 €
Go cửa thiền NGUY N MINH / Livre Livre de poche
common.buy 17.31 €
Guardians of the Galaxy. Vol.2, 1 Blu-ray Fred Raskin / Video Blu-ray
common.buy 12.65 €
Sonnenuntergang bei De Koog (Puzzle) Elke Krone / Jeu/jouet Jeu
common.buy 44.87 €
Les Cosaques: Drame En 5 Actes Et 9 Tableaux ARNAULT-A-F / Livre Livre de poche
common.buy 15.59 €

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012.§The 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial§submissions for inclusion in the book. The goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. The papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design§methodologies, tool integration and plug-ins, automation in formal§verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

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 Verified Software: Theories, Tools, Experiments
Auteur Rajeev Joshi, Peter Müller, Andreas Podelski
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2012
Nombre de pages 326
EAN 9783642277047
ISBN 3642277047
Code Libristo 01660430
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 516
Dimensions 155 x 235 x 22

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
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 > 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

"Funny Fungal Diplomacy" and Other Stories: Four Humor Novellas Thomas P Hanna / Livre Livre de poche
common.buy 13.87 €
Israel Becomes a People -Leade Bible Study Paulist / Livre Livre de poche
common.buy 12.55 €
Newcastle Upon Tyne Ordnance Survey / Articles imprimés Cartes géographiques
common.buy 18.12 €
All About Ellie Callie Barkley / Livre Livre de poche
common.buy 6.98 €
Walking in a Giant's Footsteps Victoria Valentine / Livre Livre de poche
common.buy 14.88 €
Amazing Heights: The Golden Age Ole Steen Hansen / Livre Livre relié
common.buy 28.05 €
Phantasie - A Score for Solo Piano Op.17 (1838) Robert Schumann / Livre Livre de poche
common.buy 17.52 €
Secret Power of Tantrik Breathing: Techniques for Attaining Health, Harmony, and Liberation Swami Sivapriyananda / Livre Livre de poche
common.buy 15.08 €
Aline Barnsdall's Olive Hill Project: Frank Lloyd Wright Sketches and Drawings, Edmund Teske Photographs Jeffrey Herr / Livre Livre de poche
common.buy 18.63 €
Coordination of Complex Sociotechnical Systems Stefano Mariani / Livre Livre relié
common.buy 103.12 €
Reading Wonders, Grade 2, Leveled Reader the Sounds of Trash, Beyond, Unit 3, 6-Pack Mcgraw-Hill Education / Livre Livre de poche
common.buy 74.85 €
Consciousness in Modernist Fiction Violeta Sotirova / Livre Livre relié
common.buy 58.54 €
Expedition Pointe DR. M / Livre Livre de poche
common.buy 20.86 €
Munster Cottage Boy REGINA ROCHE / Livre Livre de poche
common.buy 23.09 €
What's Happened to the Years?: The Space/Time Continuum William M Blacksmith / Livre Livre de poche
common.buy 7.69 €
Top
Teacher Guide and Novel Unit for the Crossover by Kwame Alexander: Quick Student Workbooks John Pennington / Livre Livre de poche
common.buy 8.60 €
Pandora's Box Wedekind Frank / Livre Livre de poche
common.buy 7.89 €
Alfonso X, the Justinian of His Age Joseph F. O'Callaghan / Livre Livre relié
common.buy 69.48 €
A Winning World: Triumphant Living By Choice Shermanda Anderson-Ramsay / Livre Livre de poche
common.buy 24.40 €
Parenting Your Addicted Child: Participant Manual Lynn Raveling / Livre Livre de poche
common.buy 13.06 €
Walking the John o' Groats Trail Andy Robinson / Livre Livre de poche
common.buy 18.12 €
An Architecture of Light Houria Chérid / Livre Livre de poche
common.buy 24.30 €
ALICE IN WONDERLAND CARROLL / Livre Livre
common.buy 26.23 €
Toast to Love and Sacrifice Andrea Rachiele / Livre Livre de poche
common.buy 25.32 €

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 ?