Normal view MARC view ISBD view

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

Contributor(s): Bove, Ana.
Material type: materialTypeLabelBookSeries: Lecture notes in computer science: 5520.; Lecture notes in computer scienceTutorial: Publisher: Berlin ; New York : Springer, 2009Description: vi, 300 p. : ill. ; 24 cm.ISBN: 9783642031526 (pbk.); 3642031528 (pbk.).Subject(s): Computer software -- Development -- Congresses | Formal methods (Computer science) -- Congresses | Programming languages (Electronic computers) -- Congresses | Type theory -- Congresses
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Home library Call number Status Date due Barcode
Books Books DeKUT Main Campus Library
DeKUT Main Campus Library
QA 76.76 .D47 L3 (Browse shelf) Available 2018/33875

Includes bibliographical references and index.

There are no comments for this item.

Log in to your account to post a comment.

Ⓒ 2019 Dedan Kimathi University of Technology

Library