FREE SHIPPING OVER $100

To any Australian address

AUSTRALIAN OWNED & OPERATED

Supporting local authors, readers and publishers

1 result for 'Bernhard Beckert'

Did you mean: bernard beckett Refine Search

sale

Add to Cart The item has been added

Extending KeY for the Verification of C Programs

Software verification is the study of formally proving the correctness of a program with respect to a given specification. Even after 40 years of research and considerable success stories in...

RRP: $126.87

$102.00

Add to Cart The item has been added

PRE-SALES

If you have any questions before making a purchase chat with our online operators to get more information.

or find our Questions & Answers

AFTER-SALES

If you have need any help about the After-Sales issues, please contact us.

New Releases
For Dummies
School Textbooks And Teacher Resources
Lonely Planet
Star Wars
Minecraft
ADHD Books
Pokemon Books And Graphic Novels
Little Golden Books
How To Draw
Peppa Pig
Children's Activity books
Bluey
Trending Books
Kids Easter Books
Apple Park
Bigjigs
Peter Rabbit
Australian
ABIA award winners
Harry Potter
Alex Cross
Grug