☰

Introducing Software Verification with Dafny Language: Proving Program Correctness

R 1,540

or 4 x payments of R385.00 with Payflex

Availability: Currently in Stock

Delivery: 10-20 working days

Introducing Software Verification with Dafny Language: Proving Program Correctness
Country USA
Brand Apress
Manufacturer Apress
Binding Paperback
ItemPartNumber Refer to Sapnet.
ReleaseDate 2022-03-01
UnitCount 1
EANs 9781484279779

Customers who purchased this also purchased....

Amazon Grocery, Peanut Butter Filled Pretzels, 24 Oz

Red Raspberries, 6 oz

Amazon Grocery, Yellow Onions, 3 Lb

Naturesweet, Tomato Cherry Cherub Conventional, 10 Ounce

Amazon Grocery, Sharp Cheddar Cheese, Sliced, 8 Oz, 10 Slices

Amazon Grocery, Ground Beef, 80% Lean/20% Fat, 3 lb (Pack of 3)

Capri Sun Fruit Punch, Strawberry Kiwi and Pacific Cooler Flavored Juice Drink Blend Variety Pack, 30 ct Box, 6 fl oz Pouches

Hellmann's Mayonnaise Real Mayo 1 ct For A Creamy Sandwich Spread or Condiment Rich in Omega-3 ALA, Gluten Free 30 oz