Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • DRAWING PROGRAMS:‡The Theory a...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming

DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming

Show other versions (1)
Bibliographic Details
Main Author: Addis, Tom
Corporate Author: SpringerLink (Online service)
Other Authors: Addis, Jan
Format: Electronic Kit Book
Language:English
Published: London Springer-Verlag London 2010
Subjects:
Computer science
Logic design
Computer Science
Programming Techniques
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Online Access:http://dx.doi.org/10.1007/978-1-84882-618-2
  • Holdings
  • Description
  • Other Versions (1)
  • Similar Items
  • Staff View
Description
Physical Description:v.: digital
ISBN:9781848826182

Similar Items

  • Abstraction, Refinement and Proof for Probabilistic Systems
    by: McIver, Annabelle
    Published: (2005)
  • Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    by: Pnueli, Amir
    Published: (2010)
  • Software Engineering 3 Domains, Requirements, and Software Design
    by: BjΓΈner, Dines
    Published: (2006)
  • Central European Functional Programming School Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and KomΓ'rno, Slovakia, May 25-30, 2009, Revised Selected Lectures
    by: HorvΓ'th, ZoltΓ'n
    Published: (2010)
  • Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
    by: Carro, Manuel
    Published: (2010)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud
Cannot write session to /tmp/vufind_sessions/sess_g16sfu0e0ha867hsh8ejp4t5tc