Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
Eine Plattform für die Wissenschaft: Bauingenieurwesen, Architektur und Urbanistik
An Approach to Constructing Verified Software
An Approach to Constructing Verified Software
An Approach to Constructing Verified Software
Harwood, K. (Autor:in) / Lindsay, P. (Autor:in) / Matthews, R. (Autor:in) / Gupta, G.
17th Annual computer science conference, ACSC-17 ; 1994 ; Christchurch; New Zealand
01.01.1994
10 pages
In 3 pts
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A New Nonslender Ringing Load Approach Verified Against Experiments
| Online Contents | 1998
A Verified and Efficient Approach Towards Fatigue Validation of Safety Parts
| British Library Online Contents | 2011
De Saint-Venant Equations Experimentally Verified
| ASCE | 2021
Major Junction Structure Verified by Modeling
| ASCE | 2021
A Verified Model for Harbor Entrance Sedimentation
| British Library Conference Proceedings | 1993