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

Your cart is empty

Books > Social sciences > Politics & government

Buy Now

Rapid Prototyping in Pvs (Paperback) Loot Price: R397
Discovery Miles 3 970
Add to cart
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

 (sign in to rate)
Loot Price R397 Discovery Miles 3 970

Bookmark and Share

Expected to ship within 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.

General

Imprint: Bibliogov
Country of origin: United States
Release date: July 2013
First published: July 2013
Creators: Nasa Technical Reports Server (Ntrs)
Authors: Cesar A. Munoz • Ricky Butler
Dimensions: 246 x 189 x 2mm (L x W x T)
Format: Paperback - Trade
Pages: 30
ISBN-13: 978-1-289-16542-0
Categories: Books > Social sciences > Politics & government > General
Promotions
LSN: 1-289-16542-4
Barcode: 9781289165420

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

100 Mandela Moments (Paperback): Kate Sidley
100 Mandela Moments
Kate Sidley Paperback R231 Discovery Miles 2 310
Power In Action - Democracy, Citizenship And Social Justice (Paperback): Steven Friedman
Power In Action - Democracy, Citizenship…
Steven Friedman Paperback R388 Discovery Miles 3 880
Power And Loss In South African Journalism - News In The Age Of Social Media (Paperback): Glenda Daniels
Power And Loss In South African…
Glenda Daniels Paperback R350 R323 Discovery Miles 3 230
Democracy Works - Re-Wiring Politics To Africa's Advantage (Paperback): Greg Mills, Olusegun Obasanjo, Jeffrey Herbst,...
Democracy Works - Re-Wiring Politics To…
Greg Mills, Olusegun Obasanjo, … Paperback R320 R290 Discovery Miles 2 900
Madam & Eve: Family Meeting (Paperback): Stephen Francis
Madam & Eve: Family Meeting
Stephen Francis Paperback R220 R203 Discovery Miles 2 030
A Tango With Death - Tolletjie Botha And The DCC (Paperback): Giancarlo Coccia
A Tango With Death - Tolletjie Botha And…
Giancarlo Coccia Paperback R339 Discovery Miles 3 390
A History Of South Africa - From The Distant Past To The Present Day (Paperback, New Edition): Fransjohan Pretorius
A History Of South Africa - From The…
Fransjohan Pretorius Paperback R724 Discovery Miles 7 240
Nasty Women Talk Back - Feminist Essays On The Global Women's Marches (Paperback): Joy Watson
Nasty Women Talk Back - Feminist Essays…
Joy Watson Paperback  (2)
 R279 Discovery Miles 2 790
Black Tax - Burden Or Ubuntu? (Paperback): Niq Mhlongo
Black Tax - Burden Or Ubuntu?
Niq Mhlongo Paperback  (2)
 R340 R304 Discovery Miles 3 040
Confronting Inequality - The South African Crisis (Paperback): Michael Nassen Smith
Confronting Inequality - The South…
Michael Nassen Smith Paperback R562 Discovery Miles 5 620
Our Long Walk To Economic Freedom - Lessons From 100 000 Years Of Human History (Paperback): Johan Fourie
Our Long Walk To Economic Freedom…
Johan Fourie Paperback R365 R326 Discovery Miles 3 260
Prisoner 913 - The Release Of Nelson Mandela (Paperback): Riaan de Villiers, Jan-Ad Stemmet
Prisoner 913 - The Release Of Nelson…
Riaan de Villiers, Jan-Ad Stemmet Paperback R542 Discovery Miles 5 420

See more
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