Carte Formal Approaches to Software Testing and Runtime Verification Klaus Havelund

Formal Approaches to Software Testing and Runtime Verification

First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern în cantități mici
Expediem în 11-15 zile
297.23 lei
This book constitutes the thoroughly refereed post-proceedings of the First Combined International W...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2006
Pagini
255
EAN
9783540496991
ISBN
3540496998
Enbook ID
01565081
Greutate
421
Dimensiuni
155 x 235 x 15

Descriere completă

This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing, FATES 2006, and on Runtime Verification, RV 2006, held within the scope of FLoC 2006, the Federated Logic Conference in Seattle, WA, USA in August 2006. Coverage discusses formal approaches to test and analyze programs and monitor and guide their executions by using various techniques.

S-ar putea să te intereseze

Animal Game

Daniel E. Bender
272.00 lei

The Stepdaughter

Gary Indiana
77.30 lei
189.13 lei

White Fang

Jack London
93.35 lei
634.94 lei

Bloody Tears

Danielle Houghton
73.17 lei

Persuasion

Jane Austen
73.17 lei
465.58 lei

The United States Marines

Ltcol Charles Patrick Neimeyer
303.69 lei

The Rage

Gene Kerrigan
73.37 lei

Postcolonial Cultures

Simon Featherstone
193.37 lei

Clienții care au cumpărat această carte au mai cumpărat și

Punkty przecięcia

Paulina Cedlerska
46.01 lei
92.44 lei

Tea Party

Lorenzo F. Díaz
104.86 lei