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)