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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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.09 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.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

First Christmas Children's Book (Portuguese) Nate Books

Broschur

9.19 €

Praca dyplomowa i doktorska Gambarelli Gianfranco

Broschur

11.79 €

Frankreichs »doppelte Deutschlandpolitik«. Dietmar Hüser

Broschur

119.90 €

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

Broschur

26.49 €

Brasilien Stefan Zweig

Hardcover

24.00 €

ricordo che non avevo Alberto Melis

Broschur

21.39 €

First Impressions A guide to drawing materials

DVD

8.99 €

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

Hardcover

7.89 €

Burnout-Syndrom Kirsten Michels

Broschur

15.95 €

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

Broschur

6.79 €

Pimpa - Pimpa y su gemela Pimpa Altan

Adobe ePub DRM

6.29 €

Field Songs Mark Lanegan Audio

Audio CD

9.99 €

Resume de l'Anthropologie de la Tunisie Bertholon-L

Broschur

10.89 €

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

Hardcover

9.09 €

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

Hardcover

10.99 €

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

MP3

3.09 €

Analyse de Contrefacons de Medicaments Et Renseignement Forensique Degardin-K

Broschur

100.19 €

Industrietourismus in Deutschland Anja Schramm

Broschur

74.00 €

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

Broschur

49.29 €

De la maceta a la mesa McTernan

Broschur

18.89 €

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

Broschur

12.39 €

Alter und Geschlecht im Kontext lebenslangen Lernens Alexander Zwickies

Broschur

49.00 €

Los cruzados de la causa Ramon Maria Del Valle-Inclan

Broschur

9.39 €

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.09 €

Electrocaloric Materials Tatiana Correia

Hardcover

101.79 €

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

Broschur

22.79 €

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

Hardcover

162.79 €

Housing, Fuel Poverty and Health HEALY

Broschur

69.69 €

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

Hardcover

33.89 €

Exposed Shannon M. Deitz

Broschur

9.69 €

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

Broschur

9.59 €

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

Broschur

7.59 €

Water Trading and Global Water Scarcity Josefina Maestu

Broschur

64.49 €

River of Light and Shadow Allen Kent

Broschur

10.39 €

Arthur and Friends Mikael Lindnord

Broschur

12.49 €

Sophia Christina B O'Doherty

Broschur

26.59 €

Achieving Buzzword Compliance DAVID C HAY

Broschur

39.19 €

Michelin Sri Lanka Road & Tourist Map 803

Karte

12.99 €

Selected Works of George E. Andrews George E Andrews

Hardcover

405.69 €

The Typology of Scripture Patrick Fairbairn

Broschur

31.69 €

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

Broschur

14.99 €

Gradations in Euclid Henry Green

Broschur

27.69 €

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

Broschur

26.89 €

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

Broschur

24.89 €