Cálculo de Programas

Licenciaturas em Engenharia Informática e Ciências da Computação
View   r6  >  r5  >  r4  >  r3  >  r2  ...

Bibliografia 6 - 05 May 2017 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia

Line: 6 to 6
 

Bibliografia essencial

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K), o terceiro ( 550K) e o quarto ( 450Ktinynew.gif).
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K), o terceiro ( 550K) e o quarto ( 450Ktinynew.gif).
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

Bibliografia 5 - 29 May 2015 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia

Line: 20 to 20
 

Added:
>
>

Bibliografia 4 - 28 Apr 2015 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia

Line: 6 to 6
 

Bibliografia essencial

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K), o terceiro ( 550Ktinynew.gif) e o quarto.
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K), o terceiro ( 550K) e o quarto ( 450Ktinynew.gif).
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

Bibliografia 3 - 16 Mar 2015 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia

Line: 6 to 6
 

Bibliografia essencial

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504Ktinynew.gif), o terceiro e o quarto.
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K), o terceiro ( 550Ktinynew.gif) e o quarto.
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

Bibliografia 2 - 23 Feb 2015 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia

Line: 6 to 6
 

Bibliografia essencial

Changed:
<
<
<--   * J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K) e o terceiro ( 527K) tinynew.gif.

!-->

A completar
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504Ktinynew.gif), o terceiro e o quarto.
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

Bibliografia 1 - 23 Feb 2015 - Main.JoseNunoOliveira
Line: 1 to 1
Added:
>
>
META TOPICPARENT name="WebHome"

Bibliografia

<--   !-->

Bibliografia essencial

<--   * J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 504K) e o terceiro ( 527K) tinynew.gif.

!-->

A completar

<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

Bibliografia complementar

  • A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. (290k).

  • R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor. BGUM 510.5-B


Revision 6r6 - 05 May 2017 - 13:01:07 - JoseNunoOliveira
Revision 5r5 - 29 May 2015 - 14:06:54 - JoseNunoOliveira
Revision 4r4 - 28 Apr 2015 - 15:30:13 - JoseNunoOliveira
Revision 3r3 - 16 Mar 2015 - 17:48:34 - JoseNunoOliveira
Revision 2r2 - 23 Feb 2015 - 15:58:22 - JoseNunoOliveira
Revision 1r1 - 23 Feb 2015 - 14:36:04 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM