Unifying Theories of Programming
Subtitle: Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings
By: edited by Shengchao Qin
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6445
Publisher: Springer Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642166891; 9783642166907
Subjects: Logic design; Software engineering; Computer science; Artificial intelligence