Java Pathfinder User Guide - Klaus Havelund,Nasa Technical Reports Server (Ntrs)
-25% koodilla BOOKS
Toimitus 10-16 arkipäivässä
30 päivän palautusoikeus
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 ... Täydellinen kuvaus
Saatat myös pitää
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-25% koodilla BOOKS
Varastossa
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-25% koodilla BOOKS
Varastossa
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Sapiens: A Brief History of Humankind
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Everything I Know About Love: Now a Major BBC One Series
-25% koodilla BOOKS
Varastossa
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
The Testaments: The Sequel to The Handmaid's Tale
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
World Travel: An Irreverent Guide
Anthony Bourdain, Laurie Woolever
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
Caliban and the Witch: Women, the Body and Primitive Accumulation
-25% koodilla BOOKS
Toimittajalla varastossa
TOP
The Next Conversation: Argue Less, Talk More
-25% koodilla BOOKS
Varastossa
TOP
The Will to Change: Men, Masculinity, and Love
-25% koodilla BOOKS
Toimittajalla varastossa
Kuvaus
Lisätietoja
| Kirjoittaja | Klaus Havelund, Nasa Technical Reports Server (Ntrs) |
|---|---|
| Julkaisija | Bibliolife DBA of Bibilio Bazaar II LLC |
| Julkaisuvuosi | 2013 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9781289290542 |