Reihe Programm Angewandte InformatikPeter Ochsenschläger × Modellierung verteilter SystemeKonzeption, Formale Spezifikation und Verifikation mit ProduktnetzenPeter OchsenschlägerVieweg & TeubnereBook201333,26 € Modellierung verteilter SystemeKonzeption, Formale Spezifikation und Verifikation mit ProduktnetzenPeter OchsenschlägerVieweg & TeubnerSoftcover199554,99 €