August 16, 2010 | In: Books
Product Description Proceedings of the 4th Summer School, MOVEP 2000, held June 19-23, 2000, Nantes, France. Papers covering the main subjects addressed at MOVEP 2000. Softcover. ... More >> Modeling and Verification of Parallel Processes: 4th...
August 16, 2010 | In: Books
Product Description Proceedings of the 4th Summer School, MOVEP 2000, held June 19-23, 2000, Nantes, France. Papers covering the main subjects addressed at MOVEP 2000. Softcover. ... More >> Modeling and Verification of Parallel Processes: 4th...
May 31, 2010 | In: Books
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
May 31, 2010 | In: Books
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
May 30, 2010 | In: Books
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
May 25, 2010 | In: Books
Product Description Proceedings of the 4th Summer School, MOVEP 2000, held June 19-23, 2000, Nantes, France. Papers covering the main subjects addressed at MOVEP 2000. Softcover. ... More >> Modeling and Verification of Parallel Processes: 4th...
March 19, 2010 | In: Books
Product DescriptionThis book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full...
Powered by Yahoo! Answers
Advertising