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: R453
Discovery Miles 4 530
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 R453 Discovery Miles 4 530

Bookmark and Share

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

Being There - Backstories From The Political Front (Paperback): Tony Leon
Being There - Backstories From The…
Tony Leon Paperback R350 R270 Discovery Miles 2 700
Eight Days In July - Inside The Zuma Unrest That Set South Africa Alight (Paperback): Qaanitah Hunter, Kaveel Singh, Jeff Wicks
Eight Days In July - Inside The Zuma…
Qaanitah Hunter, Kaveel Singh, … Paperback  (1)
 R360 R337 Discovery Miles 3 370
Better Choices - Ensuring South Africa's Future (Paperback): Greg Mills, Mcebisi Jonas, Haroon Bhorat, Ray Hartley
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, … Paperback R350 R317 Discovery Miles 3 170
Sabotage - Eskom Under Siege (Paperback): Kyle Cowan
Sabotage - Eskom Under Siege
Kyle Cowan Paperback  (2)
 R340 R314 Discovery Miles 3 140
Power In Action - Democracy, Citizenship And Social Justice (Paperback): Steven Friedman
Power In Action - Democracy, Citizenship…
Steven Friedman Paperback R351 Discovery Miles 3 510
Imtiaz Sooliman And The Gift Of The Givers - A Mercy To All (Paperback, Expanded 2nd Edition): Shafiq Morton
Imtiaz Sooliman And The Gift Of The…
Shafiq Morton Paperback  (1)
 R232 Discovery Miles 2 320
100 Mandela Moments (Paperback): Kate Sidley
100 Mandela Moments
Kate Sidley Paperback R250 R223 Discovery Miles 2 230
Killing Karoline - A Memoir (Paperback): Sara-Jayne King
Killing Karoline - A Memoir
Sara-Jayne King Paperback  (1)
 R325 R305 Discovery Miles 3 050
Madam & Eve: Family Meeting (Paperback): Stephen Francis
Madam & Eve: Family Meeting
Stephen Francis Paperback R220 R203 Discovery Miles 2 030
Nation On The Couch - Inside South Africa's Mind (Paperback): Wahbie Long
Nation On The Couch - Inside South…
Wahbie Long Paperback R335 R314 Discovery Miles 3 140
Now You Know How Mapetla Died - The Story Of A Black Consciousness Martyr (Paperback): Zikhona Valela
Now You Know How Mapetla Died - The…
Zikhona Valela Paperback R350 R328 Discovery Miles 3 280
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 R399 R374 Discovery Miles 3 740

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