Java Pathfinder User Guide - Klaus Havelund,Nasa Technical Reports Server (Ntrs)
-25% su kodu BOOKS
Pristatymas per 10-16 d.d.
30 dienų grąžinimo 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 ... Visas aprašymas
Jums taip pat gali patikti
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-25% su kodu BOOKS
Yra sandėlyje
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-25% su kodu BOOKS
Yra sandėlyje
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Sapiens: A Brief History of Humankind
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
All about Love: New Visions
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Everything I Know About Love: Now a Major BBC One Series
-25% su kodu BOOKS
Yra sandėlyje
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Art of Witch Hat Atelier
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Testaments: The Sequel to The Handmaid's Tale
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
World Travel: An Irreverent Guide
Anthony Bourdain, Laurie Woolever
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Caliban and the Witch: Women, the Body and Primitive Accumulation
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
The Next Conversation: Argue Less, Talk More
-25% su kodu BOOKS
Yra sandėlyje
TOP
The Will to Change: Men, Masculinity, and Love
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
TOP
Goliath's Curse: The History and Future of Societal Collapse
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Aprašymas
Daugiau informacijos
| Autorius | Klaus Havelund, Nasa Technical Reports Server (Ntrs) |
|---|---|
| Leidėjas | Bibliolife DBA of Bibilio Bazaar II LLC |
| Išleidimo metai | 2013 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9781289290542 |