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.

Formal Approaches to Software Testing

5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Approaches to Software Testing Wolfgang Grieskamp
Code Libristo: 01562128
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Description détaillée
? points 125 b
51.65 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

First Christmas Children's Book (Portuguese) Nate Books / Livre Livre de poche
common.buy 10.81 €
Journal d'un chat assassin (nouvelle édition) Fine / Livre Livre relié
common.buy 11.11 €
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Livre Livre de poche
common.buy 31.63 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Livre Livre de poche
common.buy 112.81 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Livre Livre de poche
common.buy 49.83 €
Brasilien Stefan Zweig / Livre Livre relié
common.buy 20.82 €
Love Monster. Potworek szuka miłości Bright Rachel / Livre Livre relié
common.buy 8.99 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Livre Livre de poche
common.buy 14.14 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Livre Livre de poche
common.buy 9.70 €
Pimpa - Pimpa y su gemela Pimpa Altan / Livre numérique Adobe ePub DRM
common.buy 6.06 €
Field Songs Mark Lanegan Audio CD Audio
common.buy 11.31 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Livre Livre relié
common.buy 13.44 €
Burnout-Syndrom Kirsten Michels / Livre Livre de poche
common.buy 14.45 €
Industrietourismus in Deutschland Anja Schramm / Livre Livre de poche
common.buy 65.90 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Livre Livre de poche
common.buy 13.13 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Livre audio MP3
common.buy 3.02 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Livre Livre de poche
common.buy 11.21 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Livre Livre de poche
common.buy 49.93 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Livre Livre de poche
common.buy 101.29 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen / Livre Livre de poche
common.buy 12.53 €
De la maceta a la mesa McTernan / Livre Livre de poche
common.buy 21.32 €
First Impressions A guide to drawing materials / Video DVD
common.buy 4.74 €

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005. The book presents 13 revised full papers together with 1 work-in-progress paper. These address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others.

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 Formal Approaches to Software Testing
Auteur Wolfgang Grieskamp, Carsten Weise
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2006
Nombre de pages 219
EAN 9783540344544
ISBN 3540344543
Code Libristo 01562128
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 750
Dimensions 155 x 235 x 13

Catégories

Informatique et technologies de l’information > Informatique > Interaction homme-machine > Architecture de l’information
Informatique et technologies de l’information > Matériel informatique > Maintenance / entretien et réparation
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 > Architecture informatique et conception logique
Informatique et technologies de l’information > Systèmes d’exploitation
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

Hybrid Systems: Computation and Control Rupak Majumdar / Livre Livre de poche
common.buy 51.65 €
Electrocaloric Materials Tatiana Correia / Livre Livre relié
common.buy 102.90 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Livre Livre de poche
common.buy 21.62 €
Housing, Fuel Poverty and Health HEALY / Livre Livre de poche
common.buy 78.34 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Livre Livre relié
common.buy 189.24 €
Exposed Shannon M. Deitz / Livre Livre de poche
common.buy 12.12 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Livre Livre de poche
common.buy 10.71 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Livre Livre de poche
common.buy 9.39 €
Water Trading and Global Water Scarcity Josefina Maestu / Livre Livre de poche
common.buy 78.24 €
River of Light and Shadow Allen Kent / Livre Livre de poche
common.buy 10.00 €
The Life and Remains of Douglas Jerrold Blanchard Jerrold / Livre Livre de poche
common.buy 42.05 €
Arthur and Friends Mikael Lindnord / Livre Livre de poche
common.buy 13.94 €
Sophia Christina B O'Doherty / Livre Livre de poche
common.buy 25.57 €
Achieving Buzzword Compliance DAVID C HAY / Livre Livre de poche
common.buy 48.82 €
Michelin Sri Lanka Road & Tourist Map 803 / Articles imprimés Cartes géographiques
common.buy 12.53 €
Top
I Am Not Jessica Chen Ann Liang / Livre Livre de poche
common.buy 8.18 €
The Typology of Scripture Patrick Fairbairn / Livre Livre de poche
common.buy 32.04 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Livre Livre de poche
common.buy 15.96 €
Gradations in Euclid Henry Green / Livre Livre de poche
common.buy 33.86 €
Clockwork: The Wolves of Delta Torrance Foit / Livre Livre de poche
common.buy 14.85 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Livre Livre de poche
common.buy 25.97 €
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Livre Livre de poche
common.buy 24.05 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Livre Livre de poche
common.buy 8.38 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Livre Livre relié
common.buy 154.26 €

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 ?