Concurrent systems : formal development in CSP - Jarvis, Stephen A., 1970-; Hinchey, Michael G. (Michael Gerard), 1969- (London : McGraw-Hill Book Company, 1995)
Keywords: databáze; databases; monografie; monographs