Specify which axioms are used in the following code block. Label each portion of the axiom that are present, show the parts that can be implied by the code present given the final post condition. This problem requires you to find a precondition for the code block. This problem requires you proving the total correctness of the loop. ...
length = arr. length;
sum = 0;
missing = 0;
for(int i = 0; i < length; i++){
if ( A[i] != null ){
sum = sum + arr[i] ;
} else {

missing++ ; }
}
length = length - missing;
average = sum / length; {
average = AVG(arr) for all nonempty elements of arr}

Draw the hierarchy chart and design the logic for a program that calculates service charges for hazel's housecleaning service. the program contains housekeeping, detail loop, and end-of-job modules. the main program declares any needed global variables and constants and calls the other modules. the housekeeping module displays a prompt for and accepts a customer's last name. while the user does not enter for the name, the detail loop accepts the number of bathrooms and the number of other rooms to be cleaned. the service charge is computed as $40 plus $15 for each bathroom and $10 for each of the other rooms. the detail loop also displays the service charge and then prompts the user for the next customer's name. the end-of-job module, which executes after the user enters the sentinel value for the name, displays a message that indicates the program is complete.

Wich technology can a website use to allow you to listen to a concert live over the internet?

Ihave an iphone 8plus should i get another phone like samsung note 9 or s9 ? ?