Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Java Pathfinder User Guide

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

Klaus Havelund

Sprache

Englisch

Buch Broschur

Libristo-Code: 08316942

Verlag Bibliogov, August 2013

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming lang... Vollständige Beschreibung

Libristo-Code: 08316942

41 b

17.07 €

Externes Lager Wir versenden in 14-21 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

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

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Java Pathfinder User Guide

Autor Klaus Havelund

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 36

EAN 9781289290542

ISBN 9781289290542

Libristo-Code 08316942

Verlag Bibliogov

Gewicht 82

Abmessungen 189 x 246 x 2

Kategorie

Gesellschaft und Sozialwissenschaften > Politik und Staat

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert