Tests and Proofs

Tests and Proofs

Podrobná bibliografie
Další autoři:	Veanes
Médium:	Elektronický zdroj E-kniha
Jazyk:	English
Vydáno:	Springer Berlin Heidelberg, 2013
Vydání:	1
Témata:	Electronic books
On-line přístup:	Full text available on Springer Off-campus access

Podobné jednotky

Proof
Autor: Williams

Robot-Proof
Autor: Aoun

Proof of Guilt
Autor: Cairns

People, Problems, and Proofs
Autor: Lipton
Vydáno: (2013)

Certified Programs and Proofs
Vydáno: (2013)

Proofs of the Cantor-Bernstein Theorem
Autor: Hinkis
Vydáno: (2013)

A Logical Introduction to Proof
Autor: Cunningham
Vydáno: (2013)

International Journal of Evidence & Proof

Advances in Proof-Theoretic Semantics
Vydáno: (2016)

Proof and Proving in Mathematics Education
Vydáno: (2012)

An Alternative Proof of Minimum Trace Reconciliation /
Autor: Ando, Sakai
Vydáno: (2022)

Inflation-Proof Tax System? : Some Lessons From Israel.
Vydáno: (1990)

Proceedings of the 2015 Conference on Certified Programs and Proofs

Efficient blockchain system based on proof of segmented work
Autor: Ahmed, Rashad, a další
Vydáno: (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
Autor: Hossain, Mohammad Badrul, a další
Vydáno: (2019)

Modernization of land registry by adapting blockchain with Proof-of-Work (PoW)
Autor: Mostofa, Sabrina Israt, a další
Vydáno: (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
Autor: Zakaria, Shahnaz A
Vydáno: (2011)

Blockchain based land registry with Delegated Proof of Stake (DPoS) consensus in Bangladesh
Autor: Shahriyer, Mohammad Muhtasim, a další
Vydáno: (2020)

A hyperledger fabric based tamper proof decentralized land registry system for Bangladesh
Autor: Huq, Md. Zariful, a další
Vydáno: (2023)

Adjustment unit price for R.C.C works in foundation with water proofing admixture
Autor: BUCG-ABC Joint Venture (BUCG-ABC JV)
Vydáno: (2023)

VO.12 – Approval of unit rates of non-schedule Item water proofing works at foundation
Autor: Brac University
Vydáno: (2023)

VO.14 Adjust unit price for R.C.C works in foundation with water proofing admixture
Autor: Brac University
Vydáno: (2023)

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

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

Testing It
Autor: John Watkins, Simon Mills
Vydáno: (2011)

Will This Be on the Test?
Autor: Price

VO#12 - Adjustment unit price for damp proofing work in raft, pile cap, H-steel and king post
Autor: Brac University
Vydáno: (2023)

Testing Python : applying unit testing, TDD, BDD, and acceptance testing /
Autor: Sale, David, 1989-
Vydáno: (2014)