Pattern Calculus [electronic resource] : Computing with Functions and Structures / by Barry Jay.
By: Jay, Barry.
Contributor(s): SpringerLink (Online service).
Material type: BookPublisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783540891857.Subject(s): Computer science | Logic design | Computer Science | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Programming Techniques | Programming Languages, Compilers, InterpretersDDC classification: 005.131 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.