Kommentarer: Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures / Ana Bove [and others] (eds.).

Summary goes here

Sparad:

Bibliografiska uppgifter
Materialtyp:	Bok
Språk:	engelska
Ämnen:	Computer software Formal methods (Computer science) Programming languages (Electronic computers) Type theory Méthodes formelles (Informatique) Théorie des types Informatique. Formale Methode Programmiersprache Softwareentwicklung Typentheorie Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Kongress. Piriapolis (2008)
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Lägg till första kommentaren!