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.).

Author/creator LerNet ALFA Summer School
Other author Bove, Ana.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionvi, 300 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Books
Subjects
Computer software--Development. --Congresses.
Formal methods (Computer science)--Congresses.
Programming languages (Electronic computers)--Congresses.
Type theory--Congresses.
Programmiersprache--Typentheorie. --Formale Methode. --Kongress. --Piriapolis <2008>.
Softwareentwicklung--Formale Methode. --Kongress. --Piriapolis <2008>.

SeriesLecture notes in computer science, 0302-9743 ; 5520 Tutorial
Lecture notes in computer science ; 5520. ^A466336
Lecture notes in computer science. Tutorial. ^A583079
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009930949
ISBN9783642031526 (pbk.)
ISBN3642031528 (pbk.)
Publisher number12716449

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available