Opening book details…
Can I read Rigorous Methods For Software Construction And Analysis: Essays Dedicated To Egon Börger On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) on EtoBox?
Rigorous Methods For Software Construction And Analysis: Essays Dedicated To Egon Börger On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) by Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.) is a computer science book available to read on EtoBox.
What is Rigorous Methods For Software Construction And Analysis: Essays Dedicated To Egon Börger On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) 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 deg
Who reads Rigorous Methods For Software Construction And Analysis: Essays Dedicated To Egon Börger On The Occasion Of His 60th Birthday (lecture Notes In Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2009
- Language
- EN
- ISBN
- 9783642114465
- Category
- computer science
- Subjects
- Mathematics, Science, Technology
- Updated
- 2026-03-24
Other editions & translations
More by Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Browse all works by Sylvain Boulmé (auth.), Jean-Raymond Abrial, Uwe Glässer (eds.)
Similar books
- Modeled, Tested, Trusted: Essays Dedicated To Ed Brinksma On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Joost-Pieter Katoen,Rom Langerak,Arend Rensink (2017)
- Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 5760) — Robert L. Constable (auth.), Susanne Albers, Helmut Alt, Stefan Näher (2009)
- Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedicated to hartmut Ehrig on the Occasion of His 60th Birthday — Paolo Baldan, Andrea Corradini (auth.), Hans-Jörg Kreowski, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg, Gabriele Taentzer (2005)
- Algorithms and Applications: Essays Dedicated to Esko Ukkonen on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 6060) — Amihood Amir, Avivit Levy (auth.), Tapio Elomaa, Heikki Mannila, Pekka Orponen (2010)
- Computability And Complexity: Essays Dedicated To Rodney G. Downey On The Occasion Of His 60th Birthday (lecture Notes In Computer Science) — Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond (2017)
- Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 6700) — Claire Beyssade (auth.), Sylvain Pogodalla, Myriam Quatrini, Christian Retoré (2011)
