|
|
Reescrita e dedução equacional / Luís Manuel Dias Coelho Soares Barbosa
Monografia
Publication
Braga : Universidade do Minho, 1992
Description
69 f. :
il. ;
30 cm
LocationBiblioteca de Reservados, Biblioteca da UMinho no Campus de Azurém, Biblioteca Geral da Universidade do Minho
Availability
Available (2).
Reference (2).
|
|
|
Formal aspects of component software : revised selected papers / 7th International Workshop... ; ed. Luís Soares Barbosa, Markus Lumpe
Monografia
Publication
Berlin : Springer, cop. 2012
Description
X, 303 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Dynamic logic : new trends and applications : Second International Workshop... / ed. Luís Soares Barbosa, Alexandru Baltag
Monografia
Publication
Cham : Springer, cop. 2020
Description
X, 226, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Topics in theoretical computer science : Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1-2, 2020 : proceedings / ed. Luís S. Barbosa, Mohammad Ali Abam
Monografia
Publication
Cham : Springer, cop. 2020
Description
VIII, 114, [1] p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programação coindutiva : cálculos e aplicações / Paula Cristina Riobom Soares Ribeiro ; orient. Luís Soares Barbosa
Monografia
Publication
Braga : [s.n.], 2005
Description
[5] f.,141 p. ;
30 cm
Online resource
Versão electrónica. Acesso livre
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
FACS 2010 [pre-proceedings] / 7th International Workshop on Formal Aspects of Component Software... ; ed. Markus Lumpe, Luís S. Barbosa
Monografia
Publication
[Guimarães] : Universidade do Minho, 2010
Description
XI, [2], 264 p. :
il. ;
26 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Programming languages : proceedings / 16th Brazilian Symposium... ; ed. Francisco Heron de Carvalho Junior, Luis Soares Barbosa
Monografia
Publication
Heidelberg : Springer, cop. 2012
Description
VIII, 164 p. :
il. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (1).
|
|
|
Language engineering and rigorous software development / International LerNet ALFA Summer School 2008 / edited by Ana Bove... [et al.]
Monografia
Publication
Berlin : Springer, 2009
Description
VI, 300 p. ;
24 cm
LocationBiblioteca Geral da Universidade do Minho
Availability
Available (2).
|