Computational & Technology Resources
an online resource for computational,
engineering & technology publications
engineering & technology publications
Civil-Comp Proceedings
ISSN 1759-3433
ISSN 1759-3433
CCP: 31
DEVELOPMENTS IN COMPUTER AIDED DESIGN AND MODELLING FOR STRUCTURAL ENGINEERING
DEVELOPMENTS IN COMPUTER AIDED DESIGN AND MODELLING FOR STRUCTURAL ENGINEERING
Edited by: B.H.V. Topping
Paper II.3
Formal Specification and Prototyping of a Building Description Language
J.N. Oliveira
INESC Group 2361 and University of Minho Braga, Portugal
To purchase the full-text of this paper with electronic delivery (price £20) please agree to the terms and conditions and click the button below. To learn more about the purchase process and how your paper will be delivered, please see the purchase guide.
return to summary of this paper
return to the table of contents
return to the book description
purchase this book (price £65 +P&P)