Rigorous methods for software construction and analysis essays dedicated to Egon Börger on the occasion of his 60th birthday /
This Festschrift volume, published in honor of Egon Börger, 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...
| Other Authors: | Abrial, Jean-Raymond., Glässer, Uwe, 1959-, Börger, E. 1946-, SpringerLink (Online service) |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; London :
Springer,
©2009.
Berlin ; London : [2009] |
| Physical Description: |
1 online resource (xvi, 233 pages) : illustrations. |
| Series: |
LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 5115. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |