Wolfgang Grieskamp – författare

Visar alla böcker från författaren Wolfgang Grieskamp. Handla med fri frakt och snabb leverans.

6 produkter

1. 

   Formal Approaches to Software Testing

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

   Av Wolfgang Grieskamp, Carsten Weise

   Häftad, 2006

   566 kr

   Lägg i varukorg

   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. …

2. 

   Formal Approaches to Software Testing

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

   Av Carsten Weise, Wolfgang Grieskamp

   E-bok, 2006

   755 kr

   Lägg i varukorg

3. 

   Integrated Formal Methods

   Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

   Av Bill Stoddart, Thomas Santen m. fl.

   E-bok, 2007

   755 kr

   Lägg i varukorg

4. 

   Integrated Formal Methods

   Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 Proceedings

   Av Wolfgang Grieskamp, Thomas Santen m. fl.

   Häftad, 2000

   566 kr

   Lägg i varukorg

   IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the 1st to the 3rd of November 2000. The conference programme consisted of invited talks from Sir Tony Hoare FRS and …

5. 

   Testing of Software and Communicating Systems

   19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

   Av Margus Veanes, Jan Tretmans m. fl.

   Häftad, 2007

   550 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International Workshop on Formal Approaches to Testing of Software, FATES 2007, held in Tallinn, Estonia. It covers all current issues in …

6. 

   Testing of Software and Communicating Systems

   19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallin, Estonia, June 26-29, 2007, Proceedings

   Av Wolfgang Grieskamp, Jan Tretmans m. fl.

   E-bok, 2007

   710 kr

   Lägg i varukorg