Coverart for item
The Resource Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures, Ana Bove ... [et al.] (eds.), (electronic book)

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

Label
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures
Title
Language engineering and rigorous software development
Title remainder
International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures
Statement of responsibility
Ana Bove ... [et al.] (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Dewey number
005.1
Illustrations
illustrations
Index
index present
LC call number
QA76.76.D47
LC item number
L475 2008
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
LerNet ALFA Summer School
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Bove, Ana
Series statement
  • Lecture notes in computer science,
  • Tutorial
  • LNCS sublibrary. SL 2, Programming and software engineering
Series volume
5520
http://library.link/vocab/subjectName
  • Computer software
  • Formal methods (Computer science)
  • Programming languages (Electronic computers)
  • Type theory
  • Computer science
Label
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures, Ana Bove ... [et al.] (eds.), (electronic book)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Color
mixed
Contents
Title Page; Preface; Organization; Table of Contents; Introduction to Type Theory; Dependent Types at Work; A Tutorial on Type-Based Termination; Structural Abstract Interpretation: A Formal Study Using Coq; Extended Static Checking by Calculation Using the Pointfree Transform; Combinator Parsing: A Short Tutorial; Author Index
Control code
SPR437345751
Dimensions
unknown
Extent
1 online resource (vi, 300 p.)
Form of item
online
Isbn
9783642031533
Other physical details
ill.
Publisher number
12716449
Specific material designation
remote
Label
Language engineering and rigorous software development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008 : revised tutorial lectures, Ana Bove ... [et al.] (eds.), (electronic book)
Publication
Bibliography note
Includes bibliographical references and index
Color
mixed
Contents
Title Page; Preface; Organization; Table of Contents; Introduction to Type Theory; Dependent Types at Work; A Tutorial on Type-Based Termination; Structural Abstract Interpretation: A Formal Study Using Coq; Extended Static Checking by Calculation Using the Pointfree Transform; Combinator Parsing: A Short Tutorial; Author Index
Control code
SPR437345751
Dimensions
unknown
Extent
1 online resource (vi, 300 p.)
Form of item
online
Isbn
9783642031533
Other physical details
ill.
Publisher number
12716449
Specific material designation
remote

Library Locations

Processing Feedback ...