Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Title:
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author:
Lämmel, Ralf. editor.
ISBN:
9783642359927
Physical Description:
XII, 449 p. 112 illus. online resource.
Series:
Lecture Notes in Computer Science, 7680
Subject Term:
Computer science.

Software engineering.

Logic design.

Logics and Meanings of Programs.

Programming Languages, Compilers, Interpreters.

Programming Techniques.

Mathematical Logic and Formal Languages.

Software Engineering/Programming and Operating Systems.
Added Author:
Saraiva, João.

Visser, Joost.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-35992-7
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 334096-1001 ONLINE(334096.1)
Searching...

On Order