Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R250 - R500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Rapid Prototyping in Pvs (Paperback): Nasa Technical Reports Server (Ntrs) Rapid Prototyping in Pvs (Paperback)
Nasa Technical Reports Server (Ntrs); Cesar A. Munoz, Ricky Butler
R397 Discovery Miles 3 970
Add to cart
Ships in 18 - 22 working days

PVSio is a conservative extension to the PVS prelude library that provides basic input/output capabilities to the PVS ground evaluator. It supports rapid prototyping in PVS by enhancing the specification language with built-in constructs for string manipulation, floating point arithmetic, and input/output operations.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
VELCROŽ Stick On Squares (25mm)(24 x Sets)(Black):
VELCROŽ Stick On Squares (25mm)(24 x…
R119 Discovery Miles 1 190
Golf Groove Sharpener (Black):
Golf Groove Sharpener (Black)
R249 Discovery Miles 2 490
UHU Contact Liquid Glue (30g):
UHU Contact Liquid Glue (30g)
R37 Discovery Miles 370
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
Omhels - 100 Oordenkings om te weet God hou jou naby (Afrikaans, Hardcover): Lysa Terkeurst
Omhels - 100 Oordenkings om te weet God…
Lysa Terkeurst Hardcover R249 R229 Discovery Miles 2 290
BSwish Bwild Classic Marine Vibrator (Guava):
BSwish Bwild Classic Marine Vibrator…
R779 R700 Discovery Miles 7 000
Sylvanian Families - Walnut Squirrel Family Set:
Sylvanian Families - Walnut Squirrel…
R712 Discovery Miles 7 120
Hermes Eau De Pamplemousse Rose Concentre Eau De Toilette Spray (100ml) - Parallel Import (USA):
Hermes Eau De Pamplemousse Rose…
R3,012 Discovery Miles 30 120
Star Wars: Episode 9 - The Rise Of Skywalker (2D / 3D / Bonus Disc) (Blu-ray disc): Daisy Ridley, Adam Driver, John Boyega,...
Star Wars: Episode 9 - The Rise Of…
Daisy Ridley, Adam Driver, … Blu-ray disc  (2)
 R453 Discovery Miles 4 530

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners