Automata-based verification of programs with tree updates, in: ACTA INFORMATICA: 47 (2010), 1
Habermehl, Peter and E.-R. Olderog [Ed.]:
Verkauft von Antiquariat Bookfarm, Löbnitz, Deutschland
AbeBooks-Verkäufer seit 28. Oktober 2009
Gebraucht
Anzahl: 1 verfügbar
In den Warenkorb legen