Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday /

Bibliographic Details

Other Authors:	Abrial, Jean-Raymond, Börger, E. (Egon), 1946-, Glässer, Uwe, 1959-
Format:	eBook
Language:	English
Published:	Berlin ; London : Springer, [2009]
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5115.
Subjects:	Formal methods (Computer science) Electronic books.
Online Access:	Connect to the full text of this electronic book