Switch to list view
Switch to thumbnail view
Select an Action
4 Results Found Subscribe to search results
0000DEFAULT
Print
1. 
Cover image for Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
Author 
Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(330912.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4471-4126-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Rigorous Software Development An Introduction to Program Verification
Rigorous Software Development An Introduction to Program Verification
Author 
Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-85729-018-2
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Automatic Program Development A Tribute to Robert Paige
Automatic Program Development A Tribute to Robert Paige
Author 
Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6585-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Evolving software processes : trends and future directions
Evolving software processes : trends and future directions
Author 
Khan, Arif Ali, editor. Le, Dac-Nhuong, 1983- editor.
Preferred Shelf Number 
QA76.76 .D47
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119821779
Format: 
Availability 
Online Library~1
Available:
Copies: