| < < < PREV | NEXT > > > |
|---|
| # | Title | Author | Extension | Publisher | Size(Bytes) | Language | Year | Category | Download |
| 1. |
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures |
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) |
pdf |
Springer-Verlag Berlin Heidelberg |
5166981 |
English |
2008 |
Lecture Notes in Computer Science 5382 : Programming and Software Engineering |
[Download] |
| 2. |
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures |
Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.) |
pdf |
Springer-Verlag Berlin Heidelberg |
8349161 |
English |
2008 |
Lecture Notes in Computer Science 5382 : Programming and Software Engineering |
[Download] |
| < < < PREV | NEXT > > > |
|---|