von M.W. Alford J.P. Ansart G. Hommel L. Lamport B. Liskov G.P. Mullery F.B. Schneider
Preis unbekannt
M.W. Alford
Systems distributed systems form graph language model system tool verification