Pattern Calculus
Subtitle: Computing with Functions and Structures
By: by Barry Jay
Contributors: SpringerLink (Online service)
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2009
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540891840; 9783540891857
Subjects: Logic design; Computer science