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...
Strategic Social Choice - Stable Representations of Constitutions (Hardcover, Edition.): Bezalel Peleg, Hans Peters
Strategic Social Choice - Stable…
Bezalel Peleg, Hans Peters Hardcover R2,967 Discovery Miles 29 670
Mathematical Insights into Advanced Computer Graphics Techniques (Hardcover, 1st ed. 2019): Yoshinori Dobashi, Shizuo Kaji, Kei...
Mathematical Insights into Advanced…
Yoshinori Dobashi, Shizuo Kaji, … Hardcover R3,785 Discovery Miles 37 850
Java - The ultimate beginners guide to effectively learn Java programming step-by-step (Hardcover): Mark Reed
Java - The ultimate beginners guide to…
Mark Reed Hardcover R564 R519 Discovery Miles 5 190
A Gentle Introduction to Statistics Using SAS Studio in the Cloud (Hardcover): Ron Cody
A Gentle Introduction to Statistics…
Ron Cody Hardcover R1,370 Discovery Miles 13 700
Introduction to the Boost C++ Libraries; Volume I - Foundations (Hardcover): Robert Demming, Daniel J. Duffy
Introduction to the Boost C++ Libraries…
Robert Demming, Daniel J. Duffy Hardcover R1,491 Discovery Miles 14 910
Postwar Germany and the Holocaust (Hardcover): Caroline Sharples
Postwar Germany and the Holocaust
Caroline Sharples Hardcover R3,667 Discovery Miles 36 670
Python Programming For Beginners In 2020 - Learn Python In 5 Days with Step-By-Step Guidance, Hands-On Exercises And Solution -...
Python Programming For Beginners In 2020…
James Tudor Hardcover R701 Discovery Miles 7 010
Europe's 1968 - Voices of Revolt (Hardcover): Robert Gildea, James Mark, Anette Warring
Europe's 1968 - Voices of Revolt
Robert Gildea, James Mark, … Hardcover R3,945 Discovery Miles 39 450
Models in Cooperative Game Theory (Hardcover, 2nd ed. 2008): Rodica Branzei, Dinko Dimitrov, Stef Tijs
Models in Cooperative Game Theory
Rodica Branzei, Dinko Dimitrov, … Hardcover R2,763 Discovery Miles 27 630
Machine Learning Risk Assessments in Criminal Justice Settings (Hardcover, 1st ed. 2019): Richard Berk
Machine Learning Risk Assessments in…
Richard Berk Hardcover R3,984 Discovery Miles 39 840

 
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