Cover Image

Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Br̲ger on the Occasion of His 60th Birthday /

This Festschrift volume, published in honor of Egon Br̲ger, contains 14 papers from a Dagstuhl Seminar, which was organized as a "Festkolloquium" on the occasion of his 60th birthday in May 2006. Focusing on applied formal methods, the volume covers a wide range of applied research, spanni...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Abrial, Jean-Raymond. (Editor), Gls̃ser, Uwe. (Editor)
Format: Electronic
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Series:Lecture Notes in Computer Science, 5115
Subjects:
Computer science.
Information theory.
Computer software.
Electronic data processing.
Algorithms.
Computer Science.
Theory of Computation.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Mathematics of Computing.
Computing Methodologies.
Online Access:https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-11447-2

Fulltext / Holdings URL

https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-11447-2

Similar Items