Rigorous Methods for Software Construction and Analysis: Essays Dedicated To Egon Borger On The Occasion Of His 60th Birthday

byJean-Raymond AbrialEditorUwe Glässer

Paperback | January 20, 2010

Rigorous Methods for Software Construction and Analysis: Essays Dedicated To Egon Borger On The Occasion Of His 60th Birthday by Jean-Raymond Abrial
$140.95
Earn 705 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

Egon B¨ orger Tribute to Egon B¨ orger on th the Occasion of his 60 Birthday 1 2 Jean-Raymond Abrial and Uwe Glasser ¨ 1 jrabrial@neuf. fr 2 glaesser@cs. sfu. ca Egon B¨ orger was born on May 13, 1946, in Westfalia (Germany). After the cl- sic baccalaur´ eat, from 1965-1971 he studied philosophy, logic and mathematics at the Sorbonne (Paris, France), Institut Sup´ erieur de Philosophie de Louvain (Belgium), Universit´ e de Louvain and Universitat ¨ Munster ¨ (Germany), where he got his doctoral degree and in 1976 his "Habilitation" in mathematics. The themes of his doctoral dissertation,ReductionclassesinKromandHornfor- lae,andofhis"Habilitationsschrift,"Asimple method for determining thedegree of unsolvability of decision problems for combinatorial systems,havetheirroot inthe computationalviewofmathematicallogicheldatthe time atthe Institute for Logic and Foundations of Mathematics at the University of Mu ¨nster, a t- dition going back to (among others) Leibniz, Ackermann, G¨ odel, Post, Turing, Kleene, and associated in Munster ¨ with the names of the founder of the ins- tute, Heinrich Scholz, and his followers Hans Hermes, Gisbert Hasenj¨ ager and Dieter R¨ odding. This heritage determined the focus of B¨ orger's logical inves- gations in what nowadaysis called computability and computationalcomplexity theory and his early interest in applying methods from logic to solve problems in computer science.
Title:Rigorous Methods for Software Construction and Analysis: Essays Dedicated To Egon Borger On The Occ...Format:PaperbackProduct dimensions:235 pages, 9.25 X 6.1 X 0 inShipping dimensions:235 pages, 9.25 X 6.1 X 0 inPublished:January 20, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642114466

ISBN - 13:9783642114465

Appropriate for ages: All ages

Look for similar items by category: