Java Pathfinder User Guide - Klaus Havelund,Nasa Technical Reports Server (Ntrs)
-25% ar kodu BOOKS
Piegāde 10-16 darba dienu laikā
30 dienu atgriešanas politika
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 ... Pilns apraksts
Jums varētu patikt arī
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-25% ar kodu BOOKS
Noliktavā
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-25% ar kodu BOOKS
Noliktavā
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Sapiens: A Brief History of Humankind
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Everything I Know About Love: Now a Major BBC One Series
-25% ar kodu BOOKS
Noliktavā
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Testaments: The Sequel to The Handmaid's Tale
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
World Travel: An Irreverent Guide
Anthony Bourdain, Laurie Woolever
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Caliban and the Witch: Women, the Body and Primitive Accumulation
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Will to Change: Men, Masculinity, and Love
-25% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Goliath's Curse: The History and Future of Societal Collapse
-25% ar kodu BOOKS
Piegādātāja noliktavā
Aprašymas
Vairāk informācijas
| Autors | Klaus Havelund, Nasa Technical Reports Server (Ntrs) |
|---|---|
| Izdevējs | Bibliolife DBA of Bibilio Bazaar II LLC |
| Izlaides gads | 2013 |
| Vāka tips | Mīkstais vāks |
| EAN | 9781289290542 |