search results

  1. Springer Theoretical Aspects Of Computing - Ictac 2007 Cliff B. Jones; Zhiming Liu; Jones Woodcock 9783540752905

  2. Springer Theoretical Aspects Of Computing - Ictac 2013 Zhiming Liu; Jim Woodcock; Huibiao Zhu 9783642397189

  3. Springer Theoretical Aspects Of Computing Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock 9783642148071

  4. Springer Domain Modeling And The Duration Calculus Chris George; Zhiming Liu; Jim Woodcock 9783540749639

  5. Springer Theories Of Programming And Formal Methods Zhiming Liu; Jim Woodcock; Huibiao Zhu 9783642396984

  6. Springer Fme '93: Industrial-Strength Formal Methods James C.p. Woodcock; Peter G. Larsen 9783540566625

  1. Previous Page (Page 39)Next Page (Page 41)