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 21:35:14

Rapid Prototyping In Pvs

by Nasa Technical Reports Server (ntrs) 2021-06-03 21:35: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

Twinkle, Twinkle, Little Star (Indestructibles Series):

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

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

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

We Are Not Friends (You Are Not Small):

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

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

The Book Club:

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

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

Good Night, Little Blue Truck:

Commander in Cheat: How Golf Explains Trump:

Going to School:

Made for Me:

The Silent Woman (Cat Carlisle, Book 1):

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

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

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

There Was an Old Lady Who Swallowed a Chick!:

House of Shadows: An Enthralling Historical Mystery:

The Wonderful Things You Will Be:

The Pout-Pout Fish:

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

Hurricane Season:

Secrets Between Us: An absolutely gripping psychological thriller: