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: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Verified Software: Theorie, Tools, Experiments Ernie Cohen
Code Libristo: 02433185
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2014
This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International... Description détaillée
? points 125 b
51.75 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Margherita Hack. La mia vita tra le stelle Simona Cerrato / Livre Livre de poche
common.buy 14.98 €
Top
Dibujos para colorear, ?qué misterio! Peque?as princesas Vv.Aa.3 / Livre Livre de poche
common.buy 13.56 €
Dance & love. La mia musica, la mia vita Gabry Ponte / Livre Livre relié
common.buy 20.45 €
Power Query w Excelu i Power BI. Zbieranie i przekształcanie danych Daniil Maslyuk / Livre Livre de poche
common.buy 21.66 €
The Assent Unterwirf dich der Dunkelheit, 1 Blu-ray Pearry Reginald Teo / Video Blu-ray
common.buy 17.21 €
Kolorowanka. Kraina baśni. Wydanie 2022 Mariola Budek / Livre Livre de poche
common.buy 4.45 €
Compras en Minutos Anthony Barrios / Livre Livre de poche
common.buy 7.59 €
Une touche de bleu - Tome 04 Nozomi Suzuki / Livre Livre de poche
common.buy 11.64 €
Kalangu Obonete S. Ubam / Livre Livre relié
common.buy 4.14 €
Consequencias clinicas da transmissao vertical de sifilis Claudio Quinan Balestrin Neto / Livre Livre de poche
common.buy 29.46 €
SoC-basierte Erprobungsplattform fur CCD-Kameras mit Channel Link IF Ramin Jeyrani-Mameghani / Livre Livre de poche
common.buy 50.02 €
El Castigador: Círculo de Sangre TSUMOTU NIHEI / Livre Livre de poche
common.buy 23.69 €
Los musicatos: Y la caja de música ISABEL ASENSI LIDON / Livre Livre de poche
common.buy 12.85 €
Vybrané kapitoly z klinické výživy II. Pavel Kohout / Livre Livre de poche
common.buy 7.89 €
Mettere in scena l'arte contemporanea. Dallo spazio dell'opera allo spazio intorno all'opera Francesco Bernardelli / Livre Livre de poche
common.buy 27.44 €
Auswanderung der protestantisch gesinnten Salzburger in den Jahren 1731 und 1732 Ludwig Clarus / Livre Livre de poche
common.buy 35.74 €

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Park, CA, USA, in May 2013. The 17 revised full papers presented were carefully revised and selected from 35 submissions. The papers address a wide range of topics including education, requirements modeling, specification languages, specification/verification case-studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools, tool integration, benchmarks, challenge problems, and integrated verification environments.

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: Theorie, Tools, Experiments
Auteur Ernie Cohen, Andrey Rybalchenko
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 345
EAN 9783642541070
ISBN 3642541070
Code Libristo 02433185
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 5504
Dimensions 155 x 235 x 20

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 > 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

The Palgrave Handbook of Experimental Cinema Jonathan Walley / Livre Livre de poche
common.buy 106.44 €
On Legitimacy in Global Governance Soren Hilbrich / Livre Livre de poche
common.buy 117.07 €
HBR's 10 Must Reads on Strategy (including featured article &quote;What Is Strategy?&quote; by Michael E. Porter) Harvard Business Review / Livre numérique Adobe ePub DRM
common.buy 28.86 €
Jane Austen: What Is Right To Be Done Memo Cube Insight Editions / Livre Livre de poche
common.buy 15.28 €
Wytch Wars Sharon Anne Guthrie / Livre Livre de poche
common.buy 10.32 €
Top
Belinda Maria Edgeworth / Livre Livre de poche
common.buy 11.33 €
Low Carb Good Fat Support Group Edition MR Daniel Vincent / Livre Livre de poche
common.buy 6.57 €
WHERE I NEED TO BE Kimberly Knight / Livre Livre de poche
common.buy 14.88 €
The Turtle Ship Helena Ku Rhee / Livre Livre relié
common.buy 18.12 €
Bientôt
Living in Provence René Stoeltie / Livre Livre relié
common.buy 20.96 €
What's my name? NEO Tiina Walsh / Livre Livre de poche
common.buy 14.88 €
Learn from Me Fr Con Buckley / Livre Livre de poche
common.buy 28.75 €
Live Successfully! Book No. 7 - How to Make Friends and be Persuasive Anon / Livre Livre de poche
common.buy 14.57 €
Philosophical Issues in Pharmaceutics Dien Ho / Livre Livre relié
common.buy 103.10 €
Kcd Boulet/Animal Spirit Susan Seddon Boulet / Articles imprimés Cartes
common.buy 11.74 €
Heirs of Salvation Gloria Laura Lavoie / Livre Livre de poche
common.buy 13.36 €
Time-Frequency Analysis and Synthesis of Linear Signal Spaces Franz Hlawatsch / Livre Livre de poche
common.buy 154.55 €
Religion and State in the American Jewish Experience Jonathan D. Sarna / Livre Livre relié
common.buy 104.92 €
Gentry Leaders In Peace And War Mary Wolffe / Livre Livre relié
common.buy 126.09 €
Cincinnati Day Trips Jennifer Renee Reed / Livre Livre de poche
common.buy 19.44 €
Rome Franco Archibugi / Livre Livre de poche
common.buy 69.98 €
Look Back with Longing Suzanne Morris / Livre Livre de poche
common.buy 20.15 €
Young Ladies Conduct John. Essex / Livre Livre de poche
common.buy 22.98 €
New Initiatives On Lepton Flavor Violation And Neutrino Oscillation With High Intense Muon And Neutrino Sources William R Molzon / Livre Livre relié
common.buy 144.52 €

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 ?