Biblioteca da Universidade do Minho catalog › Results of search for 'an:82685'

		Understanding formal methods / written and translated by Jean François Monin ; translation editor Michael G. Hinchey Monografia Publication London : Springer, cop. 2003 Description XV, 275 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Concurrent systems : formal development in CSP / Michael G. Hinchey, Stephen A. Jarvis Monografia Publication London : McGraw-Hill, cop. 1995 Description XIII, 181 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2). 1 2 3 4 5 Place hold Add to cart (remove)
		Teaching and learning formal methods / ed. C. Neville Dean, Michael G. Hinchey Monografia Publication London : Academic Press, cop. 1996 Description XVI, 285 p. ; 23 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		High-integrity system specification and design / Jonathan P. Bowen, Michael G. Hinchey Monografia Publication Berlin : Springer-Verlag, cop. 1999 Description XIX, 701 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)

Biblioteca da Universidade do Minho