Kód: 08316942

Java Pathfinder User Guide

Name: Java Pathfinder User Guide
Brand: Bibliogov
SKU: 08316942
Price: 15.49 EUR
Availability: InStock
Author: Klaus Havelund
ISBN: 9781289290542

Autor Klaus Havelund

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 ... celý popis

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 36
Nakladateľ: Bibliogov, 2013
Viac informácií o knihe

15.49 €

Bežne: 15.85 €

Ušetríte 0.36 €

Skladom u dodávateľa
Odosielame za 9 - 15 dní

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Moonwalk
14.17 €
Predobjednať
The Score
13.97 € -19 %
Kúpiť
The Deal
12.65 € -23 %
Kúpiť
The Mistake
14.57 € -12 %
Kúpiť
Jujutsu Kaisen, Vol. 30
9.92 € -20 %
Kúpiť
Witch Hat Atelier: Grimoire Edition 1
34.63 € -29 %
Kúpiť
Invincible Compendium Volume 2
48.30 € -22 %
Kúpiť
Berserk Deluxe Volume 1
35.54 € -26 %
Kúpiť
Invincible Compendium Volume 1
45.87 € -24 %
Kúpiť
The Goal
14.68 € -11 %
Kúpiť
Berserk Deluxe Volume 2
33.31 € -30 %
Kúpiť
Witch Hat Atelier Manga Box Set 1
56.20 € -25 %
Kúpiť
Heated Rivalry
12.65 € -7 %
Kúpiť
Jujutsu Kaisen, Vol. 25
9.92 € -20 %
Kúpiť
Lord of Mysteries, Vol. 3: The Clown, Part III
14.98 € -29 %
Kúpiť
Jujutsu Kaisen, Vol. 26
9.92 € -20 %
Kúpiť
Moonwalk: A Memoir
21.77 € -24 %
Kúpiť
Jujutsu Kaisen, Vol. 29
9.92 € -20 %
Kúpiť
Invincible Compendium Volume 3
45.87 € -24 %
Kúpiť
Murdoku
17.01 € -25 %
Kúpiť
Berserk Deluxe Volume 3
55.19 €
Kúpiť

Darujte túto knihu ešte dnes

Objednajte knihu a vyberte Zaslať ako darček.
Obratom obdržíte darovací poukaz na knihu, ktorý môžete ihneď odovzdať obdarovanému.
Knihu zašleme na adresu obdarovaného, o nič sa nestaráte.

Viac informácií