Wyniki wyszukiwania dla: Burghard Karger
Lecture Notes in Computer Science > Algebraic and Coalgebraic Methods in the Mathematics of Program Construction > 310-386
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 49-69
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 232-246