Semantik und Programmverifikation Autor Christoph Walther 29 noi 2001 Paperback Preț: 282.56 lei 6-8 săpt.
A Distributed Implementation of Flat Concurrent Prolog on Message-Passing Multiprocessor Systems 6 dec 2012 Paperback Preț: 271.79 lei 6-8 săpt.