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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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.62 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

First Christmas Children's Book (Portuguese) Nate Books / Boek Gebonden (paperback)
common.buy 10.80 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Boek Gebonden (paperback)
common.buy 14.44 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Boek Gebonden (paperback)
common.buy 93.95 €
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.61 €
Brasilien Stefan Zweig / Boek Gebonden (harde band)
common.buy 20.80 €
ricordo che non avevo Alberto Melis / Boek Gebonden (paperback)
common.buy 20.50 €
First Impressions A guide to drawing materials / Video Dvd
common.buy 4.74 €
Love Monster. Potworek szuka miłości Bright Rachel / Boek Gebonden (harde band)
common.buy 8.98 €
Burnout-Syndrom Kirsten Michels / Boek Gebonden (paperback)
common.buy 14.44 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Boek Gebonden (paperback)
common.buy 8.88 €
Pimpa - Pimpa y su gemela Pimpa Altan / E-book Adobe ePub DRM
common.buy 5.95 €
Field Songs Mark Lanegan Audio Audio cd
common.buy 11.31 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Boek Gebonden (paperback)
common.buy 13.63 €
Journal d'un chat assassin (nouvelle édition) Fine / Boek Gebonden (harde band)
common.buy 11.41 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Boek Gebonden (harde band)
common.buy 13.63 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Luisterboek MP3
common.buy 3.02 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Boek Gebonden (paperback)
common.buy 101.22 €
Industrietourismus in Deutschland Anja Schramm / Boek Gebonden (paperback)
common.buy 65.86 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Boek Gebonden (paperback)
common.buy 49.80 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Boek Gebonden (paperback)
common.buy 74.25 €
De la maceta a la mesa McTernan / Boek Gebonden (paperback)
common.buy 21.21 €
Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen / Boek Gebonden (paperback)
common.buy 12.52 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Boek Gebonden (paperback)
common.buy 49.90 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Boek Gebonden (paperback)
common.buy 11.20 €

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.62 €
Electrocaloric Materials Tatiana Correia / Boek Gebonden (harde band)
common.buy 102.84 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Boek Gebonden (paperback)
common.buy 21.61 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Boek Gebonden (harde band)
common.buy 189.12 €
Housing, Fuel Poverty and Health HEALY / Boek Gebonden (paperback)
common.buy 71.82 €
Collection of Treaties Between Great Britain and Other Powers, Volume 2 George Chalmers / Boek Gebonden (harde band)
common.buy 40.10 €
Exposed Shannon M. Deitz / Boek Gebonden (paperback)
common.buy 12.11 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Boek Gebonden (paperback)
common.buy 10.70 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Boek Gebonden (paperback)
common.buy 9.39 €
Water Trading and Global Water Scarcity Josefina Maestu / Boek Gebonden (paperback)
common.buy 75.16 €
River of Light and Shadow Allen Kent / Boek Gebonden (paperback)
common.buy 9.99 €
Arthur and Friends Mikael Lindnord / Boek Gebonden (paperback)
common.buy 15.45 €
Sophia Christina B O'Doherty / Boek Gebonden (paperback)
common.buy 25.55 €
Achieving Buzzword Compliance DAVID C HAY / Boek Gebonden (paperback)
common.buy 48.79 €
Michelin Sri Lanka Road & Tourist Map 803 / Drukwerk Kaart
common.buy 12.52 €
Selected Works of George E. Andrews George E Andrews / Boek Gebonden (harde band)
common.buy 403.01 €
The Typology of Scripture Patrick Fairbairn / Boek Gebonden (paperback)
common.buy 32.02 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Boek Gebonden (paperback)
common.buy 15.14 €
Gradations in Euclid Henry Green / Boek Gebonden (paperback)
common.buy 33.84 €
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 25.96 €
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.04 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Boek Gebonden (paperback)
common.buy 8.38 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Boek Gebonden (harde band)
common.buy 154.16 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Boek Gebonden (paperback)
common.buy 8.68 €

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?