Kniha Formal Methods and Testing Robert M. Hierons

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Te...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2008
Stránek
370
EAN
9783540789161
ISBN
3540789162
Enbook ID
01570095
Hmotnost
594
Rozměry
235 x 157 x 27

Kompletní popis

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

Mohlo by vás zajímat

Polly Of Pebbly Pit

Lillian Elizabeth Roy
580

Edgar Reitz's Heimat

Rachel Palfreyman
1 595
1 969

Duchess

Danielle Steel
180
4 690
354

On The Art Of Reading

Arthur Quiller-Couch
475

Happiness Forever

Adelaide Faith
212
1 345
516
2 304

Zákaznicí kteří koupili tuto knihu koupili také

398
300

Mundakupunktur

Jochen M. Gleditsch
928
923

Essays

Ralph Waldo Emerson
592

Leczenie krwia

Anna Klimczyk
479

Geodesia Fisica

Joan Josep Martinez-Benjamin
477

Klavier-Assoziationen

Tatjana Davidoff
372