The Foundations of Program Verification

By: Loeckx, Jacques &

Show me the best price for this book
100% money back guarantee from BibliOZ.com. Books ordered may be returned for a full refund if they are not as described. Delivery is guaranteed - or your money back. Our staff are available to answer your questions and deal with any problems that arise.

Books ordered may be returned for a full refund if they are not as described. Delivery is guaranteed - or your money back.

The Foundations of Program Verification by Loeckx, Jacques & Sieber, Kurt
  • BibliOZ.com secure payment
  • New Zealand Book Sellers
  • Australian Booksellers Association

BibliOZ.com is operated by BiblioQuest International Pty Ltd, an Australian-owned and operated company and the region's leading book search service since 1994.

Order online or by phone

AUS 1800 067 877 NZL 0800 771 773 INT +61 2 4861 7666

 

What our customers say...

"Excellent service, communication and delivery"

"Easy to use and always find what I want"

LAST ITEM HELD MATCHING THIS TITLE STATED:

Chichester: John Wiley & Sons, 1984. 1st edition. original boards. octavo. Very Good 230pp., b/w illus., bibliog., index, Wiley-Teubner Series in Computer Science

Other Books From BibliOZ.com


The Secret Pilgim by Le Carre, John
Hazel Hawke- My Own Life by Hawke, Hazel
Big mobs : the story of Australian cattlemen by McLaren, Glen
Poems, 1972-2002 by Leunig, Michael