Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Formalization of Programming Concepts: International Colloquium Peniscola, Spain, April 19–25, 1981 ProceedingsDíaz, J ; Ramos, IBerlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
|
2 |
Material Type: Livro
|
International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980Robinet, BernardBerlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
|
3 |
Material Type: Livro
|
Understanding Formal MethodsHinchey, M. G ; Monin, Jean-Francois Monin, Jean-François ; Hinchey, Michael G.London: Springer London, Limited 2002Texto completo disponível |
|
4 |
Material Type: Livro
|
Dependability: Basic Concepts and Terminology: In English, French, German, Italian and JapaneseLaprie, J. CVienna: Springer Vienna 1992Texto completo disponível |