http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Rigorous methods for software construction and analysis
essays dedicated to Egon Börger on the occasion of his 60th birthday
1 online resource (xvi, 233 pages) : illustrations
volume editor, Jean-Raymond Abrial, Uwe Glässer.
Description based on print version record.
Includes bibliographical references and index.
Theoretical computer science and general issues
Lecture notes in computer science ; 5115