Thomas Santen – författare

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

2 produkter

1. 

   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

2. 

   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 …