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
Tesa Adjustable Adhesive Nail for Tiles, Metal and Glass (2x2kg Limit)(Smooth Solid Indoor Surfaces):
Tesa Adjustable Adhesive Nail for Tiles…
R179 Discovery Miles 1 790
Ab Wheel:
Ab Wheel
R209 R149 Discovery Miles 1 490
VELCROŽ Stick On Squares (25mm)(24 x Sets)(Black):
VELCROŽ Stick On Squares (25mm)(24 x…
R119 Discovery Miles 1 190
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
The Gospel Of Mark - Bible Study (Paperback): Francis Chan
The Gospel Of Mark - Bible Study
Francis Chan Paperback R120 R111 Discovery Miles 1 110
Revlon Charlie Blue Eau De Toilette (100ml) - Parallel Import:
Revlon Charlie Blue Eau De Toilette…
 (1)
 R716 R378 Discovery Miles 3 780
Sylvanian Families - Walnut Squirrel Family Set:
Sylvanian Families - Walnut Squirrel…
R699 Discovery Miles 6 990
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
Alien: 6-Film Collection - Alien / Aliens / Alien 3 / Alien: Resurrection / Prometheus / Alien: Covenant (Blu-ray disc, Boxed...
Alien: 6-Film Collection - Alien…
Sigourney Weaver, Michael Fassbender, … Blu-ray disc R859 R752 Discovery Miles 7 520

 
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