Java Pathfinder User Guide / Najlacnejšie knihy
Java Pathfinder User Guide

Code: 08316942

Java Pathfinder User Guide

by 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 ... more

15.47 €

RRP: 15.83 €

You save 0.36 €


In stock at our supplier
Shipping in 14 - 21 days
Add to wishlist

You might also like

Give this book as a present today
  1. Order book and choose Gift Order.
  2. We will send you book gift voucher at once. You can give it out to anyone.
  3. Book will be send to donee, nothing more to care about.

Book gift voucher sampleRead more

More about Java Pathfinder User Guide

You get 37 loyalty points

Book synopsis

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

Book details

Book category Books in English Society & social sciences Politics & government

15.47 €

All about us



Shopping guide
Digest
Books by language
Payment
Delivery 2.99 €

Collection points Bratislava a 12830 dalších

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

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies

Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: