Author: Assembly on the library functions of the states (3°. 1963. Washington)
Publisher:
ISBN:
Category :
Languages : en
Pages : 103
Book Description
Proceedings
Author: Assembly on the library functions of the states (3°. 1963. Washington)
Publisher:
ISBN:
Category :
Languages : en
Pages : 103
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 103
Book Description
Proceedings of the Assembly on the Library Functions of the States
Author:
Publisher:
ISBN:
Category : Government librarians
Languages : en
Pages : 120
Book Description
Publisher:
ISBN:
Category : Government librarians
Languages : en
Pages : 120
Book Description
Proceedings of the Third Assembly on the Library Functions of the States
Author: Mary A. McKenzie
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 0
Book Description
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 0
Book Description
Proceedings of the Third Assembly on the Library Functions of the States
Author: Mary A. McKenzie
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 124
Book Description
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 124
Book Description
Proceedings of 3d Assembly on Library Functions of States, Held Nov. 13-15, 1963
Author: Mary A. McKenzie
Publisher:
ISBN:
Category : Assembly of State Librarians
Languages : en
Pages : 103
Book Description
Publisher:
ISBN:
Category : Assembly of State Librarians
Languages : en
Pages : 103
Book Description
Proceedings
Author:
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 120
Book Description
Publisher:
ISBN:
Category : Government libraries
Languages : en
Pages : 120
Book Description
The Library Functions of the States
Author: Phillip Monypenny
Publisher: Chicago : American Library Association
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 200
Book Description
Publisher: Chicago : American Library Association
ISBN:
Category : Language Arts & Disciplines
Languages : en
Pages : 200
Book Description
Summary Proceedings
Summary Proceedings of the Assembly of State Librarians
Author:
Publisher:
ISBN:
Category : Assembly of State Librarians
Languages : en
Pages : 56
Book Description
Publisher:
ISBN:
Category : Assembly of State Librarians
Languages : en
Pages : 56
Book Description
Verified Software: Theories, Tools, Experiments
Author: Natarajan Shankar
Publisher: Springer
ISBN: 3540878734
Category : Computers
Languages : en
Pages : 274
Book Description
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.
Publisher: Springer
ISBN: 3540878734
Category : Computers
Languages : en
Pages : 274
Book Description
This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. This second conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, co-operative, international project directed at the scientific challenges of large-scale software verification. The scope of the cooperative effort includes the sharing and interoperability of tools, the alignment of theory and practice, the identification of challenge problems, the construction of benchmark suites, and the execution of large-scale experiments.