Tests and Proofs

Tests and Proofs

書目詳細資料
其他作者:	Veanes
格式:	電子電子書
語言:	English
出版:	Springer Berlin Heidelberg, 2013
版:	1
主題:	Electronic books
在線閱讀:	Full text available on Springer Off-campus access

相似書籍

Proof
由: Williams

Robot-Proof
由: Aoun

Proof of Guilt
由: Cairns

People, Problems, and Proofs
由: Lipton
出版: (2013)

Certified Programs and Proofs
出版: (2013)

Proofs of the Cantor-Bernstein Theorem
由: Hinkis
出版: (2013)

A Logical Introduction to Proof
由: Cunningham
出版: (2013)

International Journal of Evidence & Proof

Advances in Proof-Theoretic Semantics
出版: (2016)

Proof and Proving in Mathematics Education
出版: (2012)

An Alternative Proof of Minimum Trace Reconciliation /
由: Ando, Sakai
出版: (2022)

Inflation-Proof Tax System? : Some Lessons From Israel.
出版: (1990)

Proceedings of the 2015 Conference on Certified Programs and Proofs

Efficient blockchain system based on proof of segmented work
由: Ahmed, Rashad, et al.
出版: (2020)

Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants

Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

coinBD: an enhanced version of proof of work with less computational power
由: Hossain, Mohammad Badrul, et al.
出版: (2019)

Modernization of land registry by adapting blockchain with Proof-of-Work (PoW)
由: Mostofa, Sabrina Israt, et al.
出版: (2020)

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs

Flood proofing project at char and haor: impact on household food security and consumption
由: Zakaria, Shahnaz A
出版: (2011)

Blockchain based land registry with Delegated Proof of Stake (DPoS) consensus in Bangladesh
由: Shahriyer, Mohammad Muhtasim, et al.
出版: (2020)

A hyperledger fabric based tamper proof decentralized land registry system for Bangladesh
由: Huq, Md. Zariful, et al.
出版: (2023)

Adjustment unit price for R.C.C works in foundation with water proofing admixture
由: BUCG-ABC Joint Venture (BUCG-ABC JV)
出版: (2023)

VO.12 – Approval of unit rates of non-schedule Item water proofing works at foundation
由: Brac University
出版: (2023)

VO.14 Adjust unit price for R.C.C works in foundation with water proofing admixture
由: Brac University
出版: (2023)

Resubmission of VO#12 valuation for dam proofing works in Raft, Pile cap, H-steel and King post
由: BUCG-ABC Joint Venture
出版: (2023)

Resubmission of VO#14 - Adjustment unit price for R.C.C works in foundation with water proofing admixture
由: BUCG-ABC Joint Venture
出版: (2023)

Testing It
由: John Watkins, Simon Mills
出版: (2011)

Will This Be on the Test?
由: Price

VO#12 - Adjustment unit price for damp proofing work in raft, pile cap, H-steel and king post
由: Brac University
出版: (2023)

Testing Python : applying unit testing, TDD, BDD, and acceptance testing /
由: Sale, David, 1989-
出版: (2014)