Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Approaches to Software Testing

Name: Formal Approaches to Software Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562128
Price: 51.73 EUR
Availability: InStock
Author: Wolfgang Grieskamp
ISBN: 9783540344544

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

Wolfgang Grieskamp

Carsten Weise

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01562128

125 b

51.73 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

First Christmas Children's Book (Portuguese) Nate Books

Broschur

11.33 €

Praca dyplomowa i doktorska Gambarelli Gianfranco

Broschur

14.47 €

Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser

Broschur

94.16 €

Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone Alessandra Scavone

Broschur

33.20 €

Brasilien Stefan Zweig

Hardcover

20.85 €

ricordo che non avevo Alberto Melis

Broschur

20.55 €

First Impressions A guide to drawing materials

DVD

4.75 €

Love Monster. Potworek szuka miłości Bright Rachel

Hardcover

9.00 €

Burnout-Syndrom Kirsten Michels

Broschur

14.47 €

Pastorální teologie včera, dnes a zítra Aleš Opatrný

Broschur

8.90 €

Pimpa - Pimpa y su gemela Pimpa Altan

Adobe ePub DRM

5.96 €

Field Songs Mark Lanegan Audio

Audio CD

11.33 €

Resume de l'Anthropologie de la Tunisie Bertholon-L

Broschur

14.37 €

Journal d'un chat assassin (nouvelle édition) Fine

Hardcover

11.43 €

Journal de marche d'une escadrille... CERO 301-1955 SHAA

Hardcover

13.66 €

Learn Spanish with Paul Noble: Part 4 Course Review: Spanish made easy with your personal language coach Paul Noble

MP3

3.03 €

Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K

Broschur

101.45 €

Industrietourismus in Deutschland Anja Schramm

Broschur

66.01 €

O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla Rafael Domingos de Souza

Broschur

49.91 €

Internationale Umweltregime Und Technische Innovation Benjamin Miethling

Broschur

77.56 €

De la maceta a la mesa McTernan

Broschur

21.25 €

Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr Reinhold Koullen

Broschur

12.55 €

Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies

Broschur

50.01 €

Los cruzados de la causa Ramon Maria Del Valle-Inclan

Broschur

11.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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

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

Broschur

51.73 €

Electrocaloric Materials Tatiana Correia

Hardcover

103.07 €

Black Hawk: The Battle for the Heart of America Kerry A. Trask

Broschur

23.08 €

Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon K. Kevin Pfister

Hardcover

197.75 €

Housing, Fuel Poverty and Health HEALY

Broschur

74.32 €

Collection of Treaties Between Great Britain and Other Powers, Volume 2 George Chalmers

Hardcover

42.12 €

Exposed Shannon M. Deitz

Broschur

12.85 €

Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide Pauline Lowrie

Broschur

10.72 €

Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method John Thompson

Broschur

9.41 €

Water Trading and Global Water Scarcity Josefina Maestu

Broschur

78.67 €

River of Light and Shadow Allen Kent

Broschur

10.52 €

Arthur and Friends Mikael Lindnord

Broschur

13.96 €

Sophia Christina B O'Doherty

Broschur

26.93 €

Achieving Buzzword Compliance DAVID C HAY

Broschur

51.94 €

Michelin Sri Lanka Road & Tourist Map 803

Karte

12.55 €

Selected Works of George E. Andrews George E Andrews

Hardcover

405.04 €

The Typology of Scripture Patrick Fairbairn

Broschur

32.09 €

Language Hub Intermediate Workbook with Key + Access to Audio Dan Brayshaw

Broschur

15.99 €

Gradations in Euclid Henry Green

Broschur

35.84 €

The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton Elizabeth Stone

Broschur

27.23 €

A Short And Easy Modern Greek Grammar: With Grammatical And Conversational Exercises, Idiomatic, Proverbial Phrases, And Full Vocabulary (1892) Carl Wied

Broschur

25.20 €