Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Formal Approaches to Software Testing

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

Sprache EnglischEnglisch
Buch Broschur
Buch Formal Approaches to Software Testing Wolfgang Grieskamp
Libristo-Code: 01562128
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Mai 2006
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

First Christmas Children's Book (Portuguese) Nate Books / Buch Broschur
common.buy 11.19 €
Journal de marche d'une escadrille... CERO 301-1955 SHAA / Buch Hardcover
common.buy 14.09 €
Resume de l'Anthropologie de la Tunisie Bertholon-L / Buch Broschur
common.buy 14.19 €
Pimpa - Pimpa y su gemela Pimpa Altan / E-Book Adobe ePub DRM
common.buy 6.19 €
Pastorální teologie včera, dnes a zítra Aleš Opatrný / Buch Broschur
common.buy 9.29 €
Praca dyplomowa i doktorska Gambarelli Gianfranco / Buch Broschur
common.buy 14.89 €
Love Monster. Potworek szuka miłości Bright Rachel / Buch Hardcover
common.buy 9.39 €
Brasilien Stefan Zweig / Buch Hardcover
common.buy 24.00 €
ricordo che non avevo Alberto Melis / Buch Broschur
common.buy 21.39 €
Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser / Buch Broschur
common.buy 99.90 €
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone / Buch Broschur
common.buy 32.79 €
First Impressions A guide to drawing materials / Video DVD
common.buy 8.99 €
Journal d'un chat assassin (nouvelle édition) Fine / Buch Hardcover
common.buy 11.79 €
Los cruzados de la causa Ramon Maria Del Valle-Inclan / Buch Broschur
common.buy 11.59 €
Industrietourismus in Deutschland Anja Schramm / Buch Broschur
common.buy 74.00 €
Internationale Umweltregime Und Technische Innovation Benjamin Miethling / Buch Broschur
common.buy 76.59 €
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza / Buch Broschur
common.buy 52.19 €
De la maceta a la mesa McTernan / Buch Broschur
common.buy 22.09 €
Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K / Buch Broschur
common.buy 105.99 €
Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble / Hörbuch MP3
common.buy 3.09 €
Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies / Buch Broschur
common.buy 51.99 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Approaches to Software Testing
Autor Wolfgang Grieskamp, Carsten Weise
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2006
Anzahl der Seiten 219
EAN 9783540344544
ISBN 3540344543
Libristo-Code 01562128
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 750
Abmessungen 155 x 235 x 13

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur
EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Hybrid Systems: Computation and Control Rupak Majumdar / Buch Broschur
common.buy 53.79 €
Electrocaloric Materials Tatiana Correia / Buch Hardcover
common.buy 107.29 €
Black Hawk: The Battle for the Heart of America Kerry A. Trask / Buch Broschur
common.buy 22.79 €
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister / Buch Hardcover
common.buy 195.29 €
Housing, Fuel Poverty and Health HEALY / Buch Broschur
common.buy 74.39 €
Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw / Buch Broschur
common.buy 15.79 €
Exposed Shannon M. Deitz / Buch Broschur
common.buy 12.69 €
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie / Buch Broschur
common.buy 11.19 €
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson / Buch Broschur
common.buy 9.79 €
Arthur and Friends Mikael Lindnord / Buch Broschur
common.buy 16.29 €
Sophia Christina B O'Doherty / Buch Broschur
common.buy 26.59 €
Achieving Buzzword Compliance DAVID C HAY / Buch Broschur
common.buy 51.29 €
Michelin Sri Lanka Road & Tourist Map 803 / Drucksachen Karte
common.buy 12.99 €
Britain and Germany in the 20th Century Manfred Gortemaker / Buch Broschur
common.buy 215.89 €
Gradations in Euclid Henry Green / Buch Broschur
common.buy 35.39 €
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone / Buch Broschur
common.buy 26.89 €
A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied / Buch Broschur
common.buy 24.89 €
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage Lydia Miller / Buch Broschur
common.buy 8.89 €
Bioremediation and Green Technologies Thamaraiselvi Kaliannan / Buch Hardcover
common.buy 160.89 €
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts) Srmndm Publications / Buch Broschur
common.buy 8.99 €
Obsessions of Lord Godfrey Cavanaugh Stephanie Laurens / Hörbuch MP3
common.buy 20.89 €
Top
I Am Not Jessica Chen Ann Liang / Buch Broschur
common.buy 8.69 €
Vulnerable Subjects G.Thomas Couser / Buch Broschur
common.buy 51.69 €
Selected Works of George E. Andrews George E Andrews / Buch Hardcover
common.buy 418.19 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?