Jump to main content

yr 〜
yr

Search results 3

Unifying theories of programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers

Unifying theories of programming : First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers
Paper図書
Steve Dunne, Bill Stoddart (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingUTP Dunne, Steve Stoddart, Bill

Unifying theories of programming : first international symposium, UTP 2006 : Walworth Castle, County Durham, UK : February 5-7, 2006 : revised selected papers. : Feb 2006, ------. (Lecture Notes in Computer Science ; 4010)

Unifying theories of programming : first international symposium, UTP 2006 : Walworth Castle, County Durham, UK : February 5-7, 2006 : revised selected papers. : Feb 2006, ------. (Lecture Notes in Computer Science ; 4010)
Paper図書
Springerc2006.<M17-06-2270>
National Diet Library
  • Author HeadingDunne, Steve. Stoddart, Bill, 1946- UTP 2006 (1st : County...

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings

Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings
Paper図書
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)Springerc2000
Other Libraries in Japan
  • Author Heading...Santen, Thomas Stoddart, Bill

Reached to the end of result.

RSS