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

srp 2009. · Springer Science & Business Media

E-knjiga

301

str.

O ovoj e-knjizi

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.

Ocijenite ovu e-knjigu

Recite nam što mislite.

Informacije o čitanju

Pametni telefoni i tableti

Instalirajte aplikaciju Google Play knjige za Android i iPad/iPhone. Automatski se sinkronizira s vašim računom i omogućuje vam da čitate online ili offline gdje god bili.

Prijenosna i stolna računala

Audioknjige kupljene na Google Playu možete slušati pomoću web-preglednika na računalu.

Elektronički čitači i ostali uređaji

Za čitanje na uređajima s elektroničkom tintom, kao što su Kobo e-čitači, trebate preuzeti datoteku i prenijeti je na svoj uređaj. Slijedite detaljne upute u centru za pomoć za prijenos datoteka na podržane e-čitače.