Image from Google Jackets

Programming Languages [electronic resource] : 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings / edited by Fernando Magno Quintão Pereira.

Contributor(s): Material type: TextTextLanguage: English Series: Lecture Notes in Computer Science ; 8771Publication details: Cham : Springer International Publishing, 2014.Description: 1 online resource (X, 161 p. 52 ill.)ISBN:
  • 9783319118635
Subject(s): Online resources:
Contents:
Program generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Materials specified Status Date due Barcode Item holds
Books Books National Library of India Available EBK000024871ENG
Total holds: 0

Program generation and transformation -- Programming paradigms and styles -- Formal semantics and theoretical foundations -- Program analysis and verification -- Programming language design and implementation.

There are no comments on this title.

to post a comment.
                                                                           
web counter

Copyright ©2020 The National Library of India, Govt. of India ↔ Hosted by NVLI, MOC ↔ Technology and Design by National Library of India, Ministry of Culture, Govt. of India