Könyv Formal Approaches to Software Testing Wolfgang Grieskamp

Formal Approaches to Software Testing

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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 305 Ft
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2006
oldal
219
EAN
9783540344544
ISBN
3540344543
Enbook ID
01562128
Súly
750
Méretek
155 x 235 x 13

Teljes leírás

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.

Érdekelheti

38 497 Ft

Exposed

Shannon M. Deitz
4 577 Ft

Arthur and Friends

Mikael Lindnord
5 330 Ft

Sophia

Christina B O'Doherty
9 540 Ft
18 466 Ft
71 696 Ft
12 710 Ft
57 690 Ft
6 895 Ft
2 941 Ft

Vulnerable Subjects

G.Thomas Couser
18 395 Ft
149 291 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Praca dyplomowa i doktorska

Gambarelli Gianfranco
4 976 Ft

Brasilien

Stefan Zweig
7 864 Ft
7 675 Ft

First Impressions

A guide to drawing materials
1 748 Ft

Los cruzados de la causa

Ramon Maria Del Valle-Inclan
4 178 Ft
7 321 Ft