Search Results


Related Books

TAPSOFT '95: Theory and Practice of Software Development
Language: en
Pages: 836
Authors: Peter D. Mosses
Categories: Computers
Type: BOOK - Published: 1995-05-03 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus
TAPSOFT'97: Theory and Practice of Software Development
Language: en
Pages: 908
Authors: Michel Bidoit
Categories: Computers
Type: BOOK - Published: 1997-04-02 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development (TAPSOFT'97),
Software Engineering - ESEC '95
Language: en
Pages: 540
Authors: Wilhelm Schäfer
Categories: Computers
Type: BOOK - Published: 1995-09-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. Th
Proof, Language, and Interaction
Language: en
Pages: 748
Authors: Robin Milner
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: MIT Press

DOWNLOAD EBOOK

This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundatio
Fundamental Approaches to Software Engineering
Language: en
Pages: 438
Authors: Luciano Baresi
Categories: Computers
Type: BOOK - Published: 2006-03-16 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering, FASE 2006, held in Vienna,
Scroll to top