Java Pathfinder User Guide / Nejlevnější knihy
Java Pathfinder User Guide

Kód: 08316942

Java Pathfinder User Guide

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

375 Kč


Skladem u dodavatele
Odesíláme za 9-15 dnů
Přidat mezi přání

Mohlo by se vám také líbit

Darujte tuto knihu ještě dnes
  1. Objednejte knihu a zvolte Zaslat jako dárek.
  2. Obratem obdržíte darovací poukaz na knihu, který můžete ihned předat obdarovanému.
  3. Knihu zašleme na adresu obdarovaného, o nic se nestaráte.

Více informací

Více informací o knize Java Pathfinder User Guide

Nákupem získáte 38 bodů

Anotace knihy

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. T

Parametry knihy

Zařazení knihy Knihy v angličtině Society & social sciences Politics & government

375 Kč

O tomto obchodě



Nákupní rádce
Přehledy
Knihy podle jazyka
Platba
Doručení 54 Kč

Osobní odběr Praha, Brno a 47531 dalších

Česko
България Hrvatska România Magyarország Polska Slovensko

Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies

Můj účet: Přihlásit se
Všechny knihy světa na jednom místě. Navíc za skvělé ceny.

Nákupní košík ( prázdný )

Vyzvednutí v Balikovně a PPL
boxech zdarma nad 1 499 Kč.

Nacházíte se: