Rigorous Methods for Software Construction and Analysis - Essays Dedicated to Egon Boerger on the Occasion of His 60th Birthday (Paperback, Edition.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Theoretical Computer Science and General Issues, 5115
Release date:	2010
First published:	2009
Editors:	Jean-Raymond Abrial • Uwe Glasser
Dimensions:	235 x 155 x 15mm (L x W x T)
Format:	Paperback
Pages:	235
Edition:	Edition.
ISBN-13:	978-3-642-11446-5
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > General theory of computing > Data structures Books > Computing & IT > Computer programming > Algorithms & procedures Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-642-11446-6
Barcode:	9783642114465

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!