Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / David Garlan (auth.)

Books by author

David Garlan (auth.)

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

2003 · ENGLISH · PDF

View details →

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

1994 · ENGLISH · PDF

View details →

Engineering for Human-Computer Interaction: 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers

Engineering for Human-Computer Interaction: 8th IFIP International Conference, EHCI 2001 Toronto, Canada, May 11–13, 2001 Revised Papers

2001 · ENGLISH · PDF

View details →

Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

2007 · ENGLISH · PDF

View details →

Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

Software Architecture: First European Conference, ECSA 2007 Aranjuez, Spain, September 24-26, 2007 Proceedings

2007 · ENGLISH · PDF

View details →

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003. Advanced Lectures

2003 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme