Rapid Prototyping in Pvs by Nasa Technical Reports Server (Ntrs)

Rapid Prototyping in Pvs (Paperback) (ISBN-13: 9781289165420)

Vendor: Nasa Technical Reports Server (Ntrs)
Product type: Books
Format: Paperback
$15.75
$15.75
$15.75
Subtotal: $15.75
Rapid Prototyping in Pvs by Nasa Technical Reports Server (Ntrs)

Rapid Prototyping in Pvs

$15.75
Rapid Prototyping in Pvs by Nasa Technical Reports Server (Ntrs)

Rapid Prototyping in Pvs

$15.75
Format: Paperback
Description
Description
x
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.

Author: Nasa Technical Reports Server (Ntrs),Cesar A. Munoz,Ricky Butler
ISBN-10: 1289165424
ISBN-13: 9781289165420
Publisher: Bibliogov
Language: English
Published: 07/15/2013
Pages: 30
Format: Paperback
Weight: 0.16lbs
Size: 9.69h x 7.44w x 0.06d

Recently Viewed Products