Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits.
Create an account for free
Contact
How to shop
Help
Delivery
DPD courier 4.99 €
GLS courier 9.99 €
Shopping guide
My account
▸
Empty :-(
0
Java Pathfinder User Guide
Language
English
English
Book
Paperback
The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming lang...
Full description
Libristo code: 08316942
?
39 b
39 b
16.24
€
In stock at our supplier
Shipping in 14-21 days
Up to 30 days for returns
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
Actress
&
Polyglot
EWA KASP
for
Play video
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.
About the book
Full name
Java Pathfinder User Guide
Author
Klaus Havelund
Language
English
English
Binding
Book - Paperback
Date of issue
2013
Number of pages
36
EAN
9781289290542
ISBN
9781289290542
Libristo code
08316942
Publishers
Bibliogov
Weight
82
Dimensions
189 x 246 x 2
Categories
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address
Book advisor Libroamiko
By using this chat, you are communicating with generative artificial intelligence. By using it, you also agree to the processing of personal data.
Hi! I'm Libroamiko, your book advisor.
How can I help you?
Hi, I'm Libroamiko, can I help?