Wolfgang Grieskamp | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?

FORMAL APPROACHES TO SOFTWARE TESTING - 5TH INTERNATIONAL WORKSHOP, FATES 2005, EDINBURGH, UK, JULY 11, 2005, REVISED SELECTED P

Wolfgang Grieskamp; Carsten Weise
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

49,60 €

INTEGRATED FORMAL METHODS - SECOND INTERNATIONAL CONFERENCE, IFM 2000, DAGSTUHL CASTLE, GERMANY, NOVEMBER 1-3, 2000 PROCEEDINGS

Wolfgang Grieskamp; Thomas Santen; Bill Stoddart
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja

49,60 €

TESTING OF SOFTWARE AND COMMUNICATING SYSTEMS - 19TH IFIP TC 6/WG 6.1 INTERNATIONAL CONFERENCE, TESTCOM 2007, 7TH INTERNATIONAL

Margus Veanes; Jan Tretmans; Wolfgang Grieskamp
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

49,60 €

Formal Approaches to Software Testing - 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected P

Wolfgang Grieskamp, Carsten Weise

49,60 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 219 sivua
Asu: Pehmeäkantinen kirja
Painos: 2006
Julkaisuvuosi: 2006, 30.05.2006 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus