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

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 129 b
52.69 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Seis grandes escritores rusos MARIANO FAZIO / Livre Livre de poche
common.buy 18.59 €
de la Responsabilite Des Proprietaires de Bois Et Forets Et Locataires de Chasses, Dommages Sorel-A / Livre Livre de poche
common.buy 19.09 €
Italia di carta. Viaggio tra le pagine che hanno raccontato il nostro paese Antonio Canu / Livre Livre
common.buy 25.79 €
Quellen zur Geschichte der Stadt Wien Anonym / Livre Livre de poche
common.buy 39.90 €
Abordable
A cena con l'assassino Alexandra Benedict / Livre Livre de poche
common.buy 4.19 €
300 modèles à dessiner en pas à pas - Perspective / Livre Livre relié
common.buy 21.19 €
DIPELODOCUS Y OTROS DINOSAURIOS DESCONOCIDOS BENINC· / Livre Livre
common.buy 21.79 €
Faits d’hiver à Riec-sur-Bélon Le Gall / Livre Livre de poche
common.buy 13.49 €
Conductores de la Comunidad Foral de Navarra. Temario y test de la parte específica Martos Navarro / Livre Livre de poche
common.buy 56.49 €
Viel Glück / Livre Livre relié
common.buy 7.29 €
Berlin Barbara Rusch / Livre Livre relié
common.buy 32.00 €
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 45.59 €
La déontologie gouvernementale Kerléo / Livre Livre de poche
common.buy 36.69 €
Tu entrenador personal Fernando Orpinell / Livre Livre de poche
common.buy 19.49 €
Calligraphie 100 alphabets Harris / Livre Livre relié
common.buy 28.39 €
La curación del paralítico Groß / Livre Livre de poche
common.buy 4.39 €
My Gold Mine Hans Joachim Höh / Jeu/jouet Jeu
common.buy 14.99 €
GUIA DE RAPACES NOCTURNAS DE EUROPA MARCO MASTRORILLI / Livre Livre de poche
common.buy 34.19 €
Les inconnus de Versailles les coulisses de la Cour Jacques Levron / Livre Livre de poche
common.buy 12.89 €
Fritz misto. Le ricette per imparare e capire il tedesco (e i tedeschi) Renata Beltrami / Livre Livre de poche
common.buy 16.89 €
Il viaggio della tartaruga che ha imparato a volare: II Edizione Paolo Nuti / Livre Livre de poche
common.buy 9.89 €
Windows Backup Server 2012 R2 - Deploiement, Gestion et Automatisation en Entreprise Hicham Kadiri / Livre Livre de poche
common.buy 12.59 €
CONTRA LA CARIDAD DANIEL RAVENTOS / Livre Livre de poche
common.buy 35.99 €

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 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 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 10.29 €
R. CRUMB: From the Underground to GENESIS R. Crumb / Livre Livre relié
common.buy 72.59 €
Inventory of Odonata (Dragonflies and Damselflies) at Fire Island National Seashore National Park Service / Livre Livre de poche
common.buy 16.39 €
Matryoshkas in Therapy MR Roger Day / Livre Livre de poche
common.buy 9.69 €
The Tie That Binds: Building a Strong Marriage Rev Jeffrey P Pedersen / Livre Livre de poche
common.buy 14.49 €
Musical Witness and Holocaust Representation Wlodarski / Livre Livre de poche
common.buy 49.79 €
Exploring the relevance of usability criteria to the booking process in e-tourism Leyla Abolahrar / Livre Livre de poche
common.buy 44.79 €
Voices of Color Gail Bauman / Livre Livre de poche
common.buy 35.09 €
Fire and Rescue Incident Command: A Practical Guide to Incident Ground Management Tony Prosser / Livre Livre de poche
common.buy 54.99 €
A History Of The Mediaeval Christian Church Vance Randolph / Livre Livre de poche
common.buy 20.99 €
Divine Order & Alien Passage Arthur Carlo Padoan / Livre Livre de poche
common.buy 12.09 €
Applied Philosophy Brenda Almond / Livre Livre de poche
common.buy 58.39 €
Literary Shrines Theodore F. Wolfe / Livre Livre de poche
common.buy 21.99 €
Top
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 24 Rifujin Na Magonote / Livre Livre de poche
common.buy 12.59 €
All the Light and Dark Things Nathalie Jackson / Livre Livre de poche
common.buy 19.19 €
Blue Water Red Blood DL Havlin / Livre numérique Adobe ePub DRM
common.buy 20.19 €
Top
Twisted Pawn (Deluxe Edition) L.J. Shen / Livre Livre de poche
common.buy 16.49 €
31 Months in Japan Lorna Collins / Livre Livre de poche
common.buy 13.49 €
Red Planet William John Locke / Livre Livre de poche
common.buy 16.89 €
Survival in Auschwitz Primo Levi / Livre Livre de poche
common.buy 13.29 €
Learn Chinese with Mike Absolute Beginner Coursebook and Activity Book Pack Seasons 1 & 2 Mike Hainzinger / Livre Livre de poche
common.buy 51.89 €
Texting Toward Utopia Ben Agger / Livre Livre de poche
common.buy 65.89 €
User'S Guide to Coenzyme Q10 Martin Zucker / Livre Livre de poche
common.buy 5.79 €
Basher Five-Two Scott O'Grady / Livre Livre de poche
common.buy 7.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 ?