Cálculo de Programas

Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
View   r4  >  r3  >  r2  >  r1

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

Bibliografia

Line: 29 to 29
 
META FILEATTACHMENT attachment="pdbc-ch2.pdf" attr="h" comment="" date="1518527244" name="pdbc-ch2.pdf" path="pdbc-ch2.pdf" size="619121" stream="pdbc-ch2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc-bib.pdf" attr="h" comment="" date="1518527787" name="pdbc-bib.pdf" path="pdbc-bib.pdf" size="226537" stream="pdbc-bib.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc-ch3.pdf" attr="h" comment="" date="1520460774" name="pdbc-ch3.pdf" path="pdbc-ch3.pdf" size="621625" stream="pdbc-ch3.pdf" user="Main.JoseNunoOliveira" version="1"
Changed:
<
<
META FILEATTACHMENT attachment="pdbc-ch4.pdf" attr="h" comment="" date="1525383834" name="pdbc-ch4.pdf" path="pdbc-ch4.pdf" size="606665" stream="pdbc-ch4.pdf" user="Main.JoseNunoOliveira" version="1"
>
>
META FILEATTACHMENT attachment="pdbc-ch4.pdf" attr="h" comment="" date="1525433783" name="pdbc-ch4.pdf" path="pdbc-ch4.pdf" size="607015" stream="pdbc-ch4.pdf" user="Main.JoseNunoOliveira" version="2"

Bibliografia 3 - 03 May 2018 - 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 ( 619K), o terceiro tinynew.gif ( 621K) e o quarto. Este último capítulo será disponibilizado mais tarde.
>
>
  • 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 ( 619K), o terceiro ( 621K) e o quarto tinynew.gif ( 606K).
 (NB: O anexo e a bibliografia deste texto estão diponíveis aqui.)
Line: 29 to 29
 
META FILEATTACHMENT attachment="pdbc-ch2.pdf" attr="h" comment="" date="1518527244" name="pdbc-ch2.pdf" path="pdbc-ch2.pdf" size="619121" stream="pdbc-ch2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc-bib.pdf" attr="h" comment="" date="1518527787" name="pdbc-bib.pdf" path="pdbc-bib.pdf" size="226537" stream="pdbc-bib.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc-ch3.pdf" attr="h" comment="" date="1520460774" name="pdbc-ch3.pdf" path="pdbc-ch3.pdf" size="621625" stream="pdbc-ch3.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="pdbc-ch4.pdf" attr="h" comment="" date="1525383834" name="pdbc-ch4.pdf" path="pdbc-ch4.pdf" size="606665" stream="pdbc-ch4.pdf" user="Main.JoseNunoOliveira" version="1"

Bibliografia 2 - 07 Mar 2018 - 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 ( 619K), o terceiro e o quarto. Estes capítulos serão disponibilizados mais tarde.
>
>
  • 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 ( 619K), o terceiro tinynew.gif ( 621K) e o quarto. Este último capítulo será disponibilizado mais tarde.
 (NB: O anexo e a bibliografia deste texto estão diponíveis aqui.)
Line: 28 to 28
 
META FILEATTACHMENT attachment="pdbc-ch2.pdf" attr="h" comment="" date="1518527244" name="pdbc-ch2.pdf" path="pdbc-ch2.pdf" size="619121" stream="pdbc-ch2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc-bib.pdf" attr="h" comment="" date="1518527787" name="pdbc-bib.pdf" path="pdbc-bib.pdf" size="226537" stream="pdbc-bib.pdf" user="Main.JoseNunoOliveira" version="1"
Added:
>
>
META FILEATTACHMENT attachment="pdbc-ch3.pdf" attr="h" comment="" date="1520460774" name="pdbc-ch3.pdf" path="pdbc-ch3.pdf" size="621625" stream="pdbc-ch3.pdf" user="Main.JoseNunoOliveira" version="1"

Bibliografia 1 - 13 Feb 2018 - 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 ( 619K), o terceiro e o quarto. Estes capítulos serão disponibilizados mais tarde.

(NB: O anexo e a bibliografia deste texto estão diponíveis aqui.)

<-- 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

-- JoseNunoOliveira - 13 Feb 2017

META FILEATTACHMENT attachment="pdbc-ch2.pdf" attr="h" comment="" date="1518527244" name="pdbc-ch2.pdf" path="pdbc-ch2.pdf" size="619121" stream="pdbc-ch2.pdf" user="Main.JoseNunoOliveira" version="1"
META FILEATTACHMENT attachment="pdbc-bib.pdf" attr="h" comment="" date="1518527787" name="pdbc-bib.pdf" path="pdbc-bib.pdf" size="226537" stream="pdbc-bib.pdf" user="Main.JoseNunoOliveira" version="1"

Revision 4r4 - 04 May 2018 - 11:36:24 - JoseNunoOliveira
Revision 3r3 - 03 May 2018 - 21:43:54 - JoseNunoOliveira
Revision 2r2 - 07 Mar 2018 - 22:14:19 - JoseNunoOliveira
Revision 1r1 - 13 Feb 2018 - 13:17:10 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM