Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 44 from your keywords: subject="Programming Languages...
First Page Previous 1 2 3 4 5
cover
Formal Methods for Industrial Critical Systems
Comment Share
Manuel NúñezMatthias Güdemann

This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.

Edition
-
ISBN/ISSN
9783319194585
Collation
XVI, 213 hlm.
Series Title
Lecture Notes in Computer Science
Call Number
-
cover
Theory and Practice of Model Transformations 8th International Conference, I…
Comment Share
KOLOVOS, DimitrisWIMMER, Manuel

This book constitutes the refereed proceedings of the 8th International Conference on Model Transformation, ICMT 2015, held in L'Aquila, Italy, in July 2015, as Part of STAF 2015, the federation of a number of the leading conferences on software technologies. The 16 revised papers were carefully selected from 34 submissions. The papers are organized in topical sections on change management; reu…

Edition
-
ISBN/ISSN
978-3-319-21155-8
Collation
-
Series Title
-
Call Number
-
cover
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
Comment Share
LEUCKER, MartinVALENCIA, Frank D.RUEDA, Camilo

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…

Edition
-
ISBN/ISSN
978-3-319-25150-9
Collation
-
Series Title
-
Call Number
-
cover
Introduction to Programming Languages
Comment Share
Aaby, Anthony A.

Introduction to Programming Languages is designed to formalize and consolidate the knowledge of programming languages gained in the introductory courses a computer science curriculum and to provide a base for further studies in the semantics and translation of programming languages. This book is intended as an undergraduate text in the theory of programming languages. To gain maximum benefit…

Edition
-
ISBN/ISSN
-
Collation
-
Series Title
-
Call Number
005 AAB i
First Page Previous 1 2 3 4 5