Functional Programming, Concurrency, Simulation and Automated Reasoning International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Functional Programming, Concurrency, Simulation and Automated Reasoning International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada / edited by Peter E. Lauer.

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 conceptualization, design, implementation, simulation, and logical an...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Lauer, Peter E. (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993.
Edition:1st ed. 1993.
Series:Lecture Notes in Computer Science, 693
Springer eBook Collection.
Subjects:
Computers.
Artificial intelligence.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Status: Available

Similar Items