Modellierung verteilter SystemeKonzeption, Formale Spezifikation und Verifikation mit ProduktnetzenAvPeter OchsenschlägerHäftad, Tyska, 1995565 kr Lägg i varukorgLägg tillSkickas inom 10-15 vardagar