Java Pathfinder User Guide - Klaus Havelund,Nasa Technical Reports Server (Ntrs)
-25% koodiga BOOKS
Saadetis 10-16 tööpäeva jooksul
30-päevane tagastamisõigus
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äielik kirjeldus
Võib-olla meeldib sulle ka
TOP
Atomic Habits: An Easy & Proven Way to Build Good Habits & Break Bad Ones
-25% koodiga BOOKS
Laos
TOP
The Culture Map: Breaking Through the Invisible Boundaries of Global Business
-25% koodiga BOOKS
Laos
TOP
Women Who Run with the Wolves: Myths and Stories of the Wild Woman Archetype
Clarissa Pinkola Estés, Clarissa Pinkola Estes
-25% koodiga BOOKS
Meie tarnija laos
TOP
Prisoners of Geography: Updated 10th Anniversary Edition: Ten Maps That Tell You Everything You Need To Know About Global Politics
-25% koodiga BOOKS
Meie tarnija laos
TOP
Classic Football Shirts
Classic Football Shirts, Rory Smith
-25% koodiga BOOKS
Meie tarnija laos
TOP
How Democracies Die
Steven Levitsky, Daniel Ziblatt
-25% koodiga BOOKS
Meie tarnija laos
TOP
Everything I Know About Love: Now a Major BBC One Series
-25% koodiga BOOKS
Laos
TOP
Braiding Sweetgrass: Indigenous Wisdom, Scientific Knowledge and the Teachings of Plants
-25% koodiga BOOKS
Meie tarnija laos
TOP
The Testaments: The Sequel to The Handmaid's Tale
-25% koodiga BOOKS
Meie tarnija laos
TOP
World Travel: An Irreverent Guide
Anthony Bourdain, Laurie Woolever
-25% koodiga BOOKS
Meie tarnija laos
TOP
Caliban and the Witch: Women, the Body and Primitive Accumulation
-25% koodiga BOOKS
Meie tarnija laos
TOP
The Will to Change: Men, Masculinity, and Love
-25% koodiga BOOKS
Meie tarnija laos
TOP
Goliath's Curse: The History and Future of Societal Collapse
-25% koodiga BOOKS
Meie tarnija laos
Kirjeldus
Lisateave
| Autor | Klaus Havelund, Nasa Technical Reports Server (Ntrs) |
|---|---|
| Kirjastaja | Bibliolife DBA of Bibilio Bazaar II LLC |
| Väljalaskeaasta | 2013 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9781289290542 |