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

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

Published by SAGE Publications, 2010

About this Item

75 p. Except the named artical you find other scientifical dues as well. Very good condition! zqx Sprache: Englisch Gewicht in Gramm: 330.

Seller Inventory # 219470

Bibliographic Details

• Title: Automata-based verification of programs with tree updates, in: ACTA INFORMATICA: 47 (2010), 1
• Publisher: SAGE Publications
• Publication Date: 2010
• Language: English
• Binding: Softvover
• Seller catalogs:
  • SQ Informatik