Java Pathfinder User Guide - Klaus Havelund,Nasa Technical Reports Server (Ntrs)
-20% with code BOOKS
Shipping in 10-16 days
30-day return policy
The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually refor ... Full description
You May Also Like
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-20% with code BOOKS
In stock
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-20% with code BOOKS
In stock
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-20% with code BOOKS
In stock at our supplier
TOP
Sapiens: A Brief History of Humankind
-20% with code BOOKS
In stock at our supplier
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-20% with code BOOKS
In stock at our supplier
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-20% with code BOOKS
In stock at our supplier
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-20% with code BOOKS
In stock at our supplier
TOP
All about Love: New Visions
-20% with code BOOKS
In stock at our supplier
TOP
Everything I Know About Love: Now a Major BBC One Series
-20% with code BOOKS
In stock
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-20% with code BOOKS
In stock at our supplier
TOP
The Art of Witch Hat Atelier
-20% with code BOOKS
In stock at our supplier
TOP
The Testaments: The Sequel to The Handmaid's Tale
-20% with code BOOKS
In stock at our supplier
TOP
World Travel: An Irreverent Guide
Anthony Bourdain, Laurie Woolever
-20% with code BOOKS
In stock at our supplier
TOP
Caliban and the Witch: Women, the Body and Primitive Accumulation
-20% with code BOOKS
In stock at our supplier
TOP
The Next Conversation: Argue Less, Talk More
-20% with code BOOKS
In stock
TOP
The Will to Change: Men, Masculinity, and Love
-20% with code BOOKS
In stock at our supplier
Description
More Information
| Author | Klaus Havelund, Nasa Technical Reports Server (Ntrs) |
|---|---|
| Publisher | Bibliolife DBA of Bibilio Bazaar II LLC |
| Release year | 2013 |
| Cover type | Softcover |
| EAN | 9781289290542 |