Cálculo de Programas

Licenciatura em Engenharia Informática
View   r6  >  r5  >  r4  >  r3  >  r2  ...

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

Bibliografia essencial

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o terceiro e o tinynew.gif quarto.
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o terceiro e o
    <--IMG ALIGN="BOTTOM" BORDER="0" SRC="http://www.di.uminho.pt/~jno/images/tinynew.gif" ALT="tinynew.gif"!-->
    quarto.
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

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

Bibliografia essencial

Line: 22 to 22
 
META FILEATTACHMENT attachment="pdbc_chap-2.pdf" attr="h" comment="" date="1298491233" name="pdbc_chap-2.pdf" path="pdbc_chap-2.pdf" size="917518" stream="pdbc_chap-2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc_chap-3.pdf" attr="h" comment="" date="1301730031" name="pdbc_chap-3.pdf" path="pdbc_chap-3.pdf" size="324956" stream="pdbc_chap-3.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="cptp.pdf" attr="h" comment="" date="1304532099" name="cptp.pdf" path="cptp.pdf" size="290290" stream="cptp.pdf" user="Main.JoseNunoOliveira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="pdbc_chap-4.pdf" attr="h" comment="" date="1305465263" name="pdbc_chap-4.pdf" path="pdbc_chap-4.pdf" size="397410" stream="pdbc_chap-4.pdf" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="pdbc_chap-4.pdf" attr="h" comment="" date="1305797082" name="pdbc_chap-4.pdf" path="pdbc_chap-4.pdf" size="397407" stream="pdbc_chap-4.pdf" user="Main.JoseNunoOliveira" version="2"

Bibliografia 4 - 15 May 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia essencial

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o tinynew.gif terceiro e o quarto (este último a disponibilizar mais tarde).
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o terceiro e o tinynew.gif quarto.
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

  • A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: (PDF).
Line: 21 to 22
 
META FILEATTACHMENT attachment="pdbc_chap-2.pdf" attr="h" comment="" date="1298491233" name="pdbc_chap-2.pdf" path="pdbc_chap-2.pdf" size="917518" stream="pdbc_chap-2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc_chap-3.pdf" attr="h" comment="" date="1301730031" name="pdbc_chap-3.pdf" path="pdbc_chap-3.pdf" size="324956" stream="pdbc_chap-3.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="cptp.pdf" attr="h" comment="" date="1304532099" name="cptp.pdf" path="cptp.pdf" size="290290" stream="cptp.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="pdbc_chap-4.pdf" attr="h" comment="" date="1305465263" name="pdbc_chap-4.pdf" path="pdbc_chap-4.pdf" size="397410" stream="pdbc_chap-4.pdf" user="Main.JoseNunoOliveira" version="1"

Bibliografia 3 - 04 May 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia essencial

  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o tinynew.gif terceiro e o quarto (este último a disponibilizar mais tarde).
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->
Changed:
<
<
  • A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: versão actual.
>
>
  • A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: (PDF).
 

Bibliografia complementar

Line: 20 to 20
 
META FILEATTACHMENT attachment="pdbc_chap-2.pdf" attr="h" comment="" date="1298491233" name="pdbc_chap-2.pdf" path="pdbc_chap-2.pdf" size="917518" stream="pdbc_chap-2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc_chap-3.pdf" attr="h" comment="" date="1301730031" name="pdbc_chap-3.pdf" path="pdbc_chap-3.pdf" size="324956" stream="pdbc_chap-3.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="cptp.pdf" attr="h" comment="" date="1304532099" name="cptp.pdf" path="cptp.pdf" size="290290" stream="cptp.pdf" user="Main.JoseNunoOliveira" version="1"

Bibliografia 2 - 02 Apr 2011 - Main.JoseNunoOliveira
Line: 1 to 1
 
META TOPICPARENT name="WebHome"

Bibliografia essencial

Changed:
<
<
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação desde 2005: os capítulos relevantes para esta disciplina são o tinynew.gif segundo, o terceiro e o quarto (estes dois últimos a disponibilizar mais tarde).
>
>
  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o tinynew.gif terceiro e o quarto (este último a disponibilizar mais tarde).
 
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

  • A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: versão actual.
Line: 19 to 19
 
<-- JoseNunoOliveira - 23 Feb 2011 !-->

META FILEATTACHMENT attachment="pdbc_chap-2.pdf" attr="h" comment="" date="1298491233" name="pdbc_chap-2.pdf" path="pdbc_chap-2.pdf" size="917518" stream="pdbc_chap-2.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="pdbc_chap-3.pdf" attr="h" comment="" date="1301730031" name="pdbc_chap-3.pdf" path="pdbc_chap-3.pdf" size="324956" stream="pdbc_chap-3.pdf" user="Main.JoseNunoOliveira" version="1"

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

Bibliografia essencial

  • J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação desde 2005: os capítulos relevantes para esta disciplina são o tinynew.gif segundo, o terceiro e o quarto (estes dois últimos a disponibilizar mais tarde).
<-- os  capítulos 2, 3 e 4 já estão disponíveis. !-->

  • A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: versão actual.

Bibliografia complementar

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

<-- JoseNunoOliveira - 23 Feb 2011 !-->

META FILEATTACHMENT attachment="pdbc_chap-2.pdf" attr="h" comment="" date="1298491233" name="pdbc_chap-2.pdf" path="pdbc_chap-2.pdf" size="917518" stream="pdbc_chap-2.pdf" user="Main.JoseNunoOliveira" version="1"

Revision 6r6 - 21 May 2011 - 07:53:54 - JoseNunoOliveira
Revision 5r5 - 19 May 2011 - 09:24:43 - JoseNunoOliveira
Revision 4r4 - 15 May 2011 - 13:16:31 - JoseNunoOliveira
Revision 3r3 - 04 May 2011 - 18:02:06 - JoseNunoOliveira
Revision 2r2 - 02 Apr 2011 - 07:41:13 - JoseNunoOliveira
Revision 1r1 - 23 Feb 2011 - 20:06:26 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM