Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Approaches to Software Testing

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Approaches to Software Testing Wolfgang Grieskamp
Libristo-code: 01562128
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mei 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

First Christmas Children's Book (Portuguese) Nate Books / Boek Gebonden (paperback)
common.buy 10.83 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Boek Gebonden (harde band)
common.buy 13.66 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Boek Gebonden (paperback)
common.buy 13.66 €
Pimpa - Pimpa y su gemela Pimpa Altan / E-book Adobe ePub DRM
common.buy 5.97 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Boek Gebonden (paperback)
common.buy 8.90 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Boek Gebonden (paperback)
common.buy 14.47 €
Love Monster. Potworek szuka miłości Bright Rachel / Boek Gebonden (harde band)
common.buy 9.00 €
Brasilien Stefan Zweig / Boek Gebonden (harde band)
common.buy 20.85 €
ricordo che non avevo Alberto Melis / Boek Gebonden (paperback)
common.buy 20.55 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Boek Gebonden (paperback)
common.buy 94.18 €
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Boek Gebonden (paperback)
common.buy 31.69 €
First Impressions A guide to drawing materials / Video Dvd
common.buy 5.05 €
Journal d'un chat assassin (nouvelle édition) Fine / Boek Gebonden (harde band)
common.buy 11.43 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Boek Gebonden (paperback)
common.buy 11.23 €
Industrietourismus in Deutschland Anja Schramm / Boek Gebonden (paperback)
common.buy 66.03 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Boek Gebonden (paperback)
common.buy 74.43 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Boek Gebonden (paperback)
common.buy 49.92 €
De la maceta a la mesa McTernan / Boek Gebonden (paperback)
common.buy 21.26 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Boek Gebonden (paperback)
common.buy 101.48 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Luisterboek MP3
common.buy 3.03 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Boek Gebonden (paperback)
common.buy 52.66 €

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 & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Approaches to Software Testing
Auteur Wolfgang Grieskamp, Carsten Weise
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2006
Aantal pagina's 219
EAN 9783540344544
ISBN 3540344543
Libristo-code 01562128
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 750
Afmetingen 155 x 235 x 13

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Hybrid Systems: Computation and Control Rupak Majumdar / Boek Gebonden (paperback)
common.buy 51.75 €
Electrocaloric Materials Tatiana Correia / Boek Gebonden (harde band)
common.buy 103.10 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Boek Gebonden (paperback)
common.buy 21.66 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Boek Gebonden (harde band)
common.buy 189.59 €
Housing, Fuel Poverty and Health HEALY / Boek Gebonden (paperback)
common.buy 72.00 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Boek Gebonden (paperback)
common.buy 15.99 €
Exposed Shannon M. Deitz / Boek Gebonden (paperback)
common.buy 12.14 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Boek Gebonden (paperback)
common.buy 11.33 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Boek Gebonden (paperback)
common.buy 10.02 €
Arthur and Friends Mikael Lindnord / Boek Gebonden (paperback)
common.buy 15.49 €
Sophia Christina B O'Doherty / Boek Gebonden (paperback)
common.buy 25.61 €
Achieving Buzzword Compliance DAVID C HAY / Boek Gebonden (paperback)
common.buy 48.91 €
Michelin Sri Lanka Road & Tourist Map 803 / Drukwerk Kaart
common.buy 12.55 €
Britain and Germany in the 20th Century Manfred Gortemaker / Boek Gebonden (paperback)
common.buy 208.63 €
Gradations in Euclid Henry Green / Boek Gebonden (paperback)
common.buy 33.92 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Boek Gebonden (paperback)
common.buy 26.02 €
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Boek Gebonden (paperback)
common.buy 24.10 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Boek Gebonden (paperback)
common.buy 8.40 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Boek Gebonden (harde band)
common.buy 154.55 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Boek Gebonden (paperback)
common.buy 8.70 €
Obsessions of Lord Godfrey Cavanaugh Stephanie Laurens / Luisterboek MP3
common.buy 20.04 €
TOP
I Am Not Jessica Chen Ann Liang / Boek Gebonden (paperback)
common.buy 8.19 €
Vulnerable Subjects G.Thomas Couser / Boek Gebonden (paperback)
common.buy 50.23 €
Selected Works of George E. Andrews George E Andrews / Boek Gebonden (harde band)
common.buy 405.12 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?