skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Refinado por: Base de dados/Biblioteca: Springer Books remover idioma: Francês remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formalization of Programming Concepts: International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Formalization of Programming Concepts: International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings

Díaz, J ; Ramos, I

Berlin, Heidelberg: Springer Berlin Heidelberg 1981

Texto completo disponível

2
International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980
Material Type:
Livro
Adicionar ao Meu Espaço

International Symposium on Programming: Proceedings of the Fourth ‘Colloque International sur la Programmation’ Paris, 22–24 April 1980

Robinet, Bernard

Berlin, Heidelberg: Springer Berlin Heidelberg 1980

Texto completo disponível

3
Understanding Formal Methods
Material Type:
Livro
Adicionar ao Meu Espaço

Understanding Formal Methods

Hinchey, M. G ; Monin, Jean-Francois Monin, Jean-François ; Hinchey, Michael G.

London: Springer London, Limited 2002

Texto completo disponível

4
Dependability: Basic Concepts and Terminology: In English, French, German, Italian and Japanese
Material Type:
Livro
Adicionar ao Meu Espaço

Dependability: Basic Concepts and Terminology: In English, French, German, Italian and Japanese

Laprie, J. C

Vienna: Springer Vienna 1992

Texto completo disponível

Buscando em bases de dados remotas. Favor aguardar.