Foundational and practical aspects of resource analysis (FOPARA) 2009 & 2011
Gespeichert in:
Körperschaft: | |
---|---|
Weitere Verfasser: | , , |
Format: | UnknownFormat |
Sprache: | eng |
Veröffentlicht: |
Amsterdam u.a.
Elsevier
November 2015
|
Schriftenreihe: | Science of computer programming
volume 111, part 3 |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | Angabe aus dem Vorwort: Selected articles from the second edition of the workshop "Foundational and Practical Aspects of Resource Analysis" (FOPARA), which was held in Madrid, May 19, 2011 (colocated with the 12th Trends in Functional Programming Symposium), and the first edition, held in Eindhoven, in June 2009 (as a satellite event of the 16th Formal Methods Symposium) |
---|---|
Beschreibung: | Seiten 363-534 Diagramme |