-
1
-
2
-
3FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, Septembe... FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, Septembe...by Fitzgerald, John. editor., Jones, Cliff B. editor., Lucas, Peter. editor., SpringerLink (Online service)
Published 1997Texto bibliotecaCOLPOS -
4FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, Septembe... FME '97: Industrial Applications and Strengthened Foundations of Formal Methods [electronic resource] : 4th International Symposium of Formal Methods Europe Graz, Austria, Septembe...by Fitzgerald, John. editor., Jones, Cliff B. editor., Lucas, Peter. editor., SpringerLink (Online service)
Published 1997Texto bibliotecaCOLPOS -
5Object Orientation with Parallelism and Persistence [electronic resource] / Object Orientation with Parallelism and Persistence [electronic resource] /by Freitag, Burkhard. editor., Jones, Cliff B. editor., Lengauer, Christian. editor., Schek, Hans-Jörg. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
6Object Orientation with Parallelism and Persistence [electronic resource] / Object Orientation with Parallelism and Persistence [electronic resource] /by Freitag, Burkhard. editor., Jones, Cliff B. editor., Lengauer, Christian. editor., Schek, Hans-Jörg. editor., SpringerLink (Online service)
Published 1996Texto bibliotecaCOLPOS -
7VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings / VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings /by Bjørner, Dines. editor., Jones, Cliff B. editor., Mac an Airchinnigh, Mícheál. editor., Neuhold, Erich J. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS -
8VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings / VDM '87 VDM — A Formal Method at Work [electronic resource] : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings /by Bjørner, Dines. editor., Jones, Cliff B. editor., Mac an Airchinnigh, Mícheál. editor., Neuhold, Erich J. editor., SpringerLink (Online service)
Published 1987Texto bibliotecaCOLPOS