The Locator -- [(subject = "Programming languages Electronic computers--Congresses")]

221 records matched your query       

Record 6 | Previous Record | MARC Display | Next Record | Search Results
Author:
LerNet ALFA Summer School (2008 : Piriapolis, Uruguay)
Title:
Language engineering and rigorous software development [electronic resource] : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures / Ana Bove ... [et al.] (eds.).
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2009
Description:
1 online resource (vi, 300 p.) : ill.
Subject:
Computer software--Development--Congresses.
Formal methods (Computer science)--Congresses.
Programming languages (Electronic computers)--Congresses.
Type theory--Congresses.
Other Authors:
Bove, Ana.
Notes:
Description based on print. Includes bibliographical references and index.
Series:
Tutorial 0302-9743 ; 5520 Tutorial
ISBN:
3642031536
9783642031533
OCLC:
(OCoLC)437345751
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.