Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers

Ana Bove · Luis Soares Barbosa · Alberto Pardo · Jorge Sousa Pinto

07/2009 · Springer Science & Business Media

Livro eletrónico

301

Páginas

Acerca deste livro eletrónico

This book offers three lectures on type theory from the 2008 International LerNet ALFA Summer School on Language Engineering and Rigorous Software Development: an introductory tutorial, an introduction to dependent types, and one on type-based termination.

Classifique este livro eletrónico

Dê-nos a sua opinião.

Informações de leitura

Smartphones e tablets

Instale a app Google Play Livros para Android e iPad/iPhone. A aplicação é sincronizada automaticamente com a sua conta e permite-lhe ler online ou offline, onde quer que esteja.

Portáteis e computadores

Pode ouvir audiolivros comprados no Google Play através do navegador de Internet do seu computador.

eReaders e outros dispositivos

Para ler em dispositivos e-ink, como e-readers Kobo, tem de transferir um ficheiro e movê-lo para o seu dispositivo. Siga as instruções detalhadas do Centro de Ajuda para transferir os ficheiros para os e-readers suportados.