Author: Forest Products Laboratory (U.S.)
Publisher:
ISBN:
Category : Lumber trade
Languages : en
Pages : 476
Book Description
Wood Handbook
Author: Forest Products Laboratory (U.S.)
Publisher:
ISBN:
Category : Lumber trade
Languages : en
Pages : 476
Book Description
Publisher:
ISBN:
Category : Lumber trade
Languages : en
Pages : 476
Book Description
Agriculture Handbook
Author:
Publisher:
ISBN:
Category : Agriculture
Languages : en
Pages : 472
Book Description
Set includes revised editions of some issues.
Publisher:
ISBN:
Category : Agriculture
Languages : en
Pages : 472
Book Description
Set includes revised editions of some issues.
Standard Specifications for Road and Bridge Construction
Author: Wisconsin. Department of Transportation
Publisher:
ISBN:
Category : Bridges
Languages : en
Pages : 664
Book Description
Publisher:
ISBN:
Category : Bridges
Languages : en
Pages : 664
Book Description
Standard Specifications for Road and Bridge Construction
Author: Wisconsin. Division of Highways
Publisher:
ISBN:
Category : Bridges
Languages : en
Pages : 680
Book Description
Publisher:
ISBN:
Category : Bridges
Languages : en
Pages : 680
Book Description
Standard Specifications for Road and Bridge Construction
Author:
Publisher:
ISBN:
Category : Bridges
Languages : en
Pages : 576
Book Description
Publisher:
ISBN:
Category : Bridges
Languages : en
Pages : 576
Book Description
NBS Special Publication
Author:
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 468
Book Description
Publisher:
ISBN:
Category : Weights and measures
Languages : en
Pages : 468
Book Description
An Index of State Specifications and Standards
Author: Linda L. Grossnickle
Publisher:
ISBN:
Category : Standardization
Languages : en
Pages : 400
Book Description
Publisher:
ISBN:
Category : Standardization
Languages : en
Pages : 400
Book Description
An Index of U.S. Voluntary Engineering Standards
Author: William J. Slattery
Publisher:
ISBN:
Category : Standards, Engineering
Languages : en
Pages : 464
Book Description
Publisher:
ISBN:
Category : Standards, Engineering
Languages : en
Pages : 464
Book Description
Formal Systems Specification
Author: Manfred Broy
Publisher: Springer Science & Business Media
ISBN: 9783540619840
Category : Computers
Languages : en
Pages : 572
Book Description
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
Publisher: Springer Science & Business Media
ISBN: 9783540619840
Category : Computers
Languages : en
Pages : 572
Book Description
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification. Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
An Index of U.S. Voluntary Engineering Standards
Author: United States. National Bureau of Standards
Publisher:
ISBN:
Category : Standards, Engineering
Languages : en
Pages : 1038
Book Description
Publisher:
ISBN:
Category : Standards, Engineering
Languages : en
Pages : 1038
Book Description