Bill Stoddart – författare
Visar alla böcker från författaren Bill Stoddart. Handla med fri frakt och snabb leverans.
4 produkter
Unifying Theories of Programming
First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
Häftad, 2006
566 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held at Walworth Castle, County Durham, UK, in February 2006. The book presents 14 revised full papers. Based on the pioneering work on unifying …
Unifying Theories of Programming
First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
E-bok, 2006
755 kr
Lägg i varukorg
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
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 …
