von
Preis unbekannt
Philippa Gardner
Algorithms algorithm concurrency distributed programming logic logic programming model checking petri net programming real-time verification