Functional books & textbook
home > Functional
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science, 3901)
Springer /2006-03-23 Paperback / 192 Pages
isbn-10: 3540326545 / isbn-13: 9783540326540
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Computer Science and General Issues)
Springer /2014-08-01 Paperback / 577 Pages
isbn-10: 3319089692 / isbn-13: 9783319089690
Scala Functional Programming Patterns
Packt Pub Ltd /2015-12-31 Paperback / 298 Pages
isbn-10: 1783985844 / isbn-13: 9781783985845
Programming in SCHEME: Learn SHEME Through Artificial Intelligence Programs
Springer /1996-04-25 Paperback / 249 Pages
isbn-10: 0387946810 / isbn-13: 9780387946818
Drawing Programs: The Theory and Practice of Schematic Functional Programming
Springer /2010-02-04 Paperback / 411 Pages
isbn-10: 1848826176 / isbn-13: 9781848826175
Algebraic Approaches to Program Semantics (Monographs in Computer Science)
Manes, Ernest G. Arbib, Michael A.
Springer /2014-01-17 Paperback / 366 Pages
isbn-10: 1461293774 / isbn-13: 9781461293774
Swift Functional Programming
Packt Publishing /2017-04-27 Paperback / 316 Pages
isbn-10: 1787284506 / isbn-13: 9781787284500
Solving Higher-Order Equations : From Logic to Programming (Progress in Theoretical Computer Science)
Birkhäuser /1997-12-18 Hardcover / 197 Pages
isbn-10: 0817640320 / isbn-13: 9780817640323
Efficient Graph Rewriting and Its Implementation (Lecture Notes in Computer Science, 922)
Springer /1995-07-14 Paperback / 276 Pages
isbn-10: 3540600558 / isbn-13: 9783540600558
Software Engineering with OBJ: Algebraic Specification in Action (Advances in Formal Methods, 2)
Goguen, Joseph A. Malcolm, Grant
Springer /2000-04-30 Hardcover / 436 Pages
isbn-10: 0792377575 / isbn-13: 9780792377573
