Kód: 01562128

Formal Approaches to Software Testing

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

Autor Wolfgang Grieskamp, Carsten Weise

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 219
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006
Viac informácií o knihe

55.89 €

Skladom u dodávateľa v malom množstve
Odosielame za 13 - 18 dní

Potrebujete viac kusov?Ak máte záujem o viac kusov, preverte, prosím, najprv dostupnosť titulu na našej zákazníckej podpore.

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

I Am Not Jessica Chen
10.01 € -10 %
Kúpiť
Language Hub Intermediate Workbook with Key + Access to Audio
14.88 € -9 %
Kúpiť
How to Rap 2
14.77 € -25 %
Kúpiť
Field Songs
11.33 € -1 %
Kúpiť
Arthur and Friends
13.96 € -24 %
Kúpiť
Love Monster. Potworek szuka miłości
9 € -8 %
Kúpiť
Journal d'un chat assassin (nouvelle édition)
11.43 €
Kúpiť
Pastorální teologie včera, dnes a zítra
6.88 € -33 %
Kúpiť
Pearson REVISE AQA GCSE (9-1) Biology Foundation Revision Guide
10.72 €
Kúpiť
Michelin Sri Lanka Road & Tourist Map 803
12.55 € -9 %
Kúpiť
Achieving Buzzword Compliance
45.76 € -25 %
Kúpiť
Sophia
24.39 € -6 %
Kúpiť
First Christmas Children's Book (Portuguese)
10.32 € -1 %
Kúpiť
Encyclopedia of American Humorists
383.37 €
Kúpiť
CHOPIN
24.70 €
Kúpiť
Brasilien
20.85 € -14 %
Kúpiť
ricordo che non avevo
20.55 € -9 %
Kúpiť
Resume de l'Anthropologie de la Tunisie
13.05 € -1 %
Kúpiť
Praca dyplomowa i doktorska
14.47 €
Kúpiť
Electrocaloric Materials
109.45 €
Kúpiť
Bioremediation and Green Technologies
167.88 €
Kúpiť
Radar Signal Analysis and Processing Using MATLAB
264.59 €
Kúpiť
Advances in Economics and Econometrics
51.53 €
Kúpiť
Mudança de vida facial com Yoga Facial e dicas para o seu bem estar: MASC - Método Alessandra Scavone
30.06 € -6 %
Kúpiť
Frankreichs »doppelte Deutschlandpolitik«.
107.23 €
Kúpiť
Analyse de Contrefacons de Medicaments Et Renseignement Forensique
114.82 € -4 %
Kúpiť
O Hino das Encenias da Basilica da Santa Sabedoria em Constantinopla
56.90 € -4 %
Kúpiť
De la maceta a la mesa
21.25 €
Kúpiť
Journal de marche d'une escadrille... CERO 301-1955
13.66 €
Kúpiť
Alter und Geschlecht im Kontext lebenslangen Lernens
50.01 € -3 %
Kúpiť
The Typology of Scripture
36.85 € -4 %
Kúpiť
Internationale Umweltregime Und Technische Innovation
71.28 €
Kúpiť
Los cruzados de la causa
10.62 € -7 %
Kúpiť
Current Developments in Anthropological Genetics
55.89 €
Kúpiť
Schlüssel zur Mathematik - Differenzierende Ausgabe Rheinland-Pfalz - 7. Schuljahr
14.67 €
Kúpiť
Black Hawk: The Battle for the Heart of America
20.34 € -24 %
Kúpiť
Science Writing through Critical Thinking
56.90 €
Kúpiť
Metaphor of Shepherd in the Hebrew Bible
55.68 €
Kúpiť
Hybrid Systems: Computation and Control
55.89 €
Kúpiť
Britain and Germany in the 20th Century
198.67 €
Kúpiť
Owl Coloring Book For Kids: Cute Owl Designs to Color for Boys (Awesome gifts)
8.19 € -7 %
Kúpiť
The Art of Needle-Work, from the Earliest Ages [by E. Stone] Ed. by the Countess of Wilton
24.70 € -2 %
Kúpiť
Neuronal Cytoskeleton, Motor Proteins, and Organelle Trafficking in the Axon
181.25 €
Kúpiť
Vulnerable Subjects
48.19 €
Kúpiť
City and the Senses
199.98 €
Kúpiť
Exposed
11.33 € -25 %
Kúpiť
Stay: Sacred Suffering: Fighting the Good Fight For Your Marriage
7.89 € -25 %
Kúpiť
Water Trading and Global Water Scarcity
71.99 €
Kúpiť
Industrietourismus in Deutschland
87.58 € -6 %
Kúpiť
Gradations in Euclid
31.89 € -18 %
Kúpiť
Shostakovich's Preludes and Fugues
83.43 €
Kúpiť
Burnout-Syndrom
14.47 € -10 %
Kúpiť
Teaching Little Fingers to Play Ensemble: Optional Accompaniments for the Tlf Method
8.80 € -22 %
Kúpiť
Collection of Treaties Between Great Britain and Other Powers, Volume 2
38.27 € -1 %
Kúpiť
Elementary Particles And Emergent Phase Space
98.82 €
Kúpiť
River of Light and Shadow
9.51 € -7 %
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií

Viac informácií o knihe Formal Approaches to Software Testing

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 135 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Software Engineering

55.89 €

Celý názov: Formal Approaches to Software Testing
Podnázov: 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
Autor: Wolfgang Grieskamp, Carsten Weise
Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 219
EAN: 9783540344544
ISBN: 3540344543
ID: 01562128
Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť: 750 g
Rozmery: 235 × 155 × 13 mm
Dátum vydania: 30. May 2006