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.

Software Verification and Analysis

An Integrated, Hands-On Approach

Langue AnglaisAnglais
Livre Livre de poche
Livre Software Verification and Analysis Janusz Laski
Code Libristo: 01434729
Éditeurs Springer, Berlin, novembre 2009
This book addresses the most important techniques in improving the correctness of software, includin...
? points 122 b
50.44 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Seis grandes escritores rusos MARIANO FAZIO / Livre Livre de poche
common.buy 17.95 €
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Livre Livre de poche
common.buy 18.35 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Livre Livre
common.buy 24.81 €
Quellen zur Geschichte der Stadt Wien Anonym / Livre Livre de poche
common.buy 35.61 €
Abordable
A cena con l'assassino Alexandra Benedict / Livre Livre de poche
common.buy 4.23 €
300 modèles à dessiner en pas à pas - Perspective / Livre Livre relié
common.buy 20.47 €
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Livre Livre
common.buy 21.08 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Livre Livre de poche
common.buy 13.11 €
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro / Livre Livre de poche
common.buy 54.98 €
Viel Glück / Livre Livre relié
common.buy 7.05 €
Berlin Barbara Rusch / Livre Livre relié
common.buy 27.94 €
The Hexaglot Bible: Comprising The Holy Scriptures Of The Old And New Testaments In The Original Tongues, Together With The Septuagint, Th Anonymous / Livre Livre relié
common.buy 43.78 €
La déontologie gouvernementale Kerléo / Livre Livre de poche
common.buy 35.61 €
Tu entrenador personal Fernando Orpinell / Livre Livre de poche
common.buy 18.86 €
Calligraphie 100 alphabets Harris / Livre Livre relié
common.buy 27.54 €
La curación del paralítico Groß / Livre Livre de poche
common.buy 4.23 €
My Gold Mine Hans Joachim Höh / Jeu/jouet Jeu
common.buy 14.22 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Livre Livre de poche
common.buy 33.09 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Livre Livre de poche
common.buy 12.50 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Livre Livre de poche
common.buy 16.24 €
Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti / Livre Livre de poche
common.buy 9.48 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Livre Livre de poche
common.buy 12.10 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Livre Livre de poche
common.buy 34.50 €

This book addresses the most important techniques in improving the correctness of software, including correctness by construction, program proving, static analysis and dynamic, execution-based analysis. Problems and exercises are included.

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 Software Verification and Analysis
Auteur Janusz Laski, William Stanley
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2010
Nombre de pages 234
EAN 9781849968294
ISBN 1849968292
Code Libristo 01434729
Éditeurs Springer, Berlin
Poids 384
Dimensions 156 x 234 x 13

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Systèmes d’exploitation
Informatique et technologies de l’information > Informatique
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

Top
Dory Fantasmagory Abby Hanlon / Livre Livre de poche
common.buy 8.67 €
R. CRUMB: From the Underground to GENESIS R. Crumb / Livre Livre relié
common.buy 70.22 €
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Livre Livre de poche
common.buy 15.73 €
Matryoshkas in Therapy MR Roger Day / Livre Livre de poche
common.buy 9.27 €
The Tie That Binds: Building a Strong Marriage Rev Jeffrey P Pedersen / Livre Livre de poche
common.buy 13.92 €
Musical Witness and Holocaust Representation Wlodarski / Livre Livre de poche
common.buy 48.02 €
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Livre Livre de poche
common.buy 42.67 €
Voices of Color Gail Bauman / Livre Livre de poche
common.buy 33.89 €
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Livre Livre de poche
common.buy 52.97 €
A History Of The Mediaeval Christian Church Vance Randolph / Livre Livre de poche
common.buy 20.27 €
Divine Order & Alien Passage Arthur Carlo Padoan / Livre Livre de poche
common.buy 11.59 €
Applied Philosophy Brenda Almond / Livre Livre de poche
common.buy 56.40 €
Literary Shrines Theodore F. Wolfe / Livre Livre de poche
common.buy 21.18 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Livre Livre de poche
common.buy 11.90 €
All the Light and Dark Things Nathalie Jackson / Livre Livre de poche
common.buy 18.35 €
Blue Water Red Blood DL Havlin / Livre numérique Adobe ePub DRM
common.buy 19.46 €
Top
Twisted Pawn (Deluxe Edition) L.J. Shen / Livre Livre de poche
common.buy 15.73 €
31 Months in Japan Lorna Collins / Livre Livre de poche
common.buy 12.91 €
Red Planet William John Locke / Livre Livre de poche
common.buy 16.14 €
Survival in Auschwitz Primo Levi / Livre Livre de poche
common.buy 12.70 €
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Livre Livre de poche
common.buy 50.14 €
Texting Toward Utopia Ben Agger / Livre Livre de poche
common.buy 63.66 €
User'S Guide to Coenzyme Q10 Martin Zucker / Livre Livre de poche
common.buy 5.44 €
Basher Five-Two Scott O'Grady / Livre Livre de poche
common.buy 6.95 €

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 ?