Your search returned 4 results. Subscribe to this search

|
1. Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC 2007 (2007 : Macau, China).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: Duration caculus.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.54 .I577 2007.
2. Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by Bjørner, D. (Dines), 1937- | Zhou, Chaochen, 1937- | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.9.F67 F524 2007.
3. Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by ICTAC 2007 (2007 : Macau, China) | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2007Other title: ICTAC 2007.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA75.5 .I135 2007.
4. Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.).

by Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil) | Cavalcanti, Ana | Sampaio, Augusto | Woodcock, Jim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, c2006Other title: First Pernambuco Summer School on Software Engineering | Pernambuco Summer School on Software Engineering | PSSE 2004.Online access: Click here to view this ebook. Availability: Items available for loan: UT Tyler Online (1). Location(s): Online QA76.758 .P42 2004.