Rapid-Prototyping-In-Pvs | Nasa Technical Reports Server (ntrs) | AmpleReads Books

All-purpose | Everything Else

Rapid Prototyping In Pvs

by Nasa Technical Reports Server (ntrs) 2021-06-03 18:05:14

Rapid Prototyping In Pvs

by Nasa Technical Reports Server (ntrs) 2021-06-03 18:05:14

COMPARE PRICE

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 m... Read more

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. Less

ISBN

9781289165420

autor-image

Nasa Technical Reports Server (ntrs)

Author

...

Compare Prices

Store

Availability

Book Format

Book Condition

Price

In Stock

new

Buy CAD 18.99

Available Discount

No Discount available

Related Books

Clean & Lean: 30 Days, 30 Foods, a New You!:

Feed Your Best Friend Better: Easy, Nutritious Meals and Treats for Dogs:

Can't Make This Stuff Up!: Finding the Upside to Life's Downs:

Hurricane Season:

There Was an Old Lady Who Swallowed a Chick!:

The Silent Woman (Cat Carlisle, Book 1):

We Are Not Friends (You Are Not Small):

Commander in Cheat: How Golf Explains Trump:

Falter: Has the Human Game Begun to Play Itself Out?:

Made for Me:

Twinkle, Twinkle, Little Star (Indestructibles Series):

Secrets Between Us: An absolutely gripping psychological thriller:

The Wonderful Things You Will Be:

House of Shadows: An Enthralling Historical Mystery:

Row, Row, Row Your Boat (Indestructibles Series):

Diary of an Awesome Friendly Kid: Rowley Jefferson's Journal:

American Moonshot: John F. Kennedy and the Great Space Race:

Trillion Dollar Coach: The Leadership Playbook of Silicon Valley's Bill Campbell:

Going to School:

The Pout-Pout Fish:

You Be You: Detox Your Life, Crush Your Limitations, and Own Your Awesome:

The Secret Wife: A captivating story of romance, passion and mystery:

The Book Club:

Good Night, Little Blue Truck:

Life Will Be the Death of Me: ...And You Too!: