Rigorous methods for software construction and analysis
Subtitle: essays dedicated to Egon Börger on the occasion of his 60th birthday
By: Jean-Raymond Abrial, Uwe Glässer, (eds.).
Series: Lecture notes in computer science -- 5115
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 233
ISBN-13: 9783642114465
Subjects: Formal methods (Computer science)
Notes: Festschrift for Egon Börger.

Includes bibliographical references and index.