Automata-based verification of programs with tree updates, in: ACTA INFORMATICA: 47 (2010), 1

Habermehl, Peter and E.-R. Olderog [Ed.]:

Verlag: SAGE Publications, 2010
Sprache: Englisch
Zustand: Gebraucht

Verkauft von Antiquariat Bookfarm, Löbnitz, Deutschland

AbeBooks-Verkäufer seit 28. Oktober 2009

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht

Preis: EUR 5,50 Währung umrechnen
EUR 3,00 für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen