Suggested Topics... within your search.
Computación Mediante Dispositivos Abstractos 7
Programación-Técnicas 7
Deducción Y Prueba De Teoremas 5
Showing 1 - 20
of 37
for search: '"Programación"',
query time: 0.07s
Search Tools:
Get RSS Feed
—
Narrow Search
Remove Filters
Suggested Topics: Logics And Meanings Of Programs
Institution
Collection
Format
Author
2
Montanari, Ugo,
1
APPSEM 2000 Carminha, Portugal)
1
Abrial, Jean-Raymond, 1938-
1
Alagar, Vangalur S., 1940-
1
Alfaro, Luca de, 1966-
1
Alferes, José Júlio, 1966-
more ...
1
Amadio, Roberto
1
Apt, Krzysztof R., 1949-
1
Asian Computing Science Conference Singapore)
1
Barsotti, Damián, 1969-
1
Barthe, Gilles, 1967-,
1
Bidoit, Michel, 1957-
1
Blanco, Javier Oscar, 1968-
1
Boer, Frank Sipke de, 1956-
1
Bove, Ana,
1
Brady, Edwin
1
Broy, Manfred, 1949-
1
CP'95 Cassis, France)
1
Caires, Luis,
1
Curien, Pierre-Louis,
1
Dauchet, Max, 1946-
1
Dezani-Ciancaglini, Mariangiola,
1
Dijkstra, Edsger Wybe, 1930-2002
1
Dwyer, Matthew B., 1963-
1
Dybjer, Peter,
1
European Symposium on Programming Linköping, Sweden)
1
FASE 2007 Braga, Portugal)
1
FOSSACS York, UK)
1
Feijen, W. H. J.
1
Gifford, David K., 1954-
see all ...
less ...
Language
Year of Publication