Functional Programming, Concurrency, Simulation and Automated Reasoning by

Functional Programming, Concurrency, Simulation and Automated Reasoning

Lecture Notes in Computer Science

403 pages missing pub info (editions)

nonfiction computer science
Powered by AI (Beta)
Loading...

Description

This collection of papers arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some of the most exciting advanced computer based systems for the conceptualizatio...

Read more

Community Reviews

Loading...

Content Warnings

Loading...