Paperback Book
显示无货商品

J Van Leeuwen的作品

Cover for J Van Leeuwen · Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas '98, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceeding (Paperback Book) (1998)
Paperback Book
Tools and Algorithms for the Con...
J Van Leeuwen
Cover for J Van Leeuwen · Application and Theory of Petri Nets: 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings (16th International Conference, Torino, Italy, June 26-30, 1995 - Proceedings) - Lecture Notes in Computer Science (Paperback Book) (1995)
Paperback Book
Application and Theory of Petri ...
J Van Leeuwen