Search Results for Program Development. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgram$002bDevelopment.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?
2024-11-02T22:08:15Z
Meta-Programming and Model-Driven Meta-Program Development Principles, Processes and Techniques
ent://SD_ILS/0/SD_ILS:330912
2024-11-02T22:08:15Z
2024-11-02T22:08:15Z
Author Štuikys, Vytautas. author. Damaševičius, Robertas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330912.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4126-6">http://dx.doi.org/10.1007/978-1-4471-4126-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous Software Development An Introduction to Program Verification
ent://SD_ILS/0/SD_ILS:168395
2024-11-02T22:08:15Z
2024-11-02T22:08:15Z
Author Almeida, José Bacelar. author. Frade, Maria João. author. Pinto, Jorge Sousa. author. Melo de Sousa, Simão. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-018-2">http://dx.doi.org/10.1007/978-0-85729-018-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automatic Program Development A Tribute to Robert Paige
ent://SD_ILS/0/SD_ILS:169862
2024-11-02T22:08:15Z
2024-11-02T22:08:15Z
Author Danvy, Olivier. editor. Henglein, Fritz. editor. Mairson, Harry. editor. Pettorossi, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6585-9">http://dx.doi.org/10.1007/978-1-4020-6585-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>