Functional programming, concurrency, simulation and automated reasoning: international lecture series 1991-1992, mcmaster university, hamilton, ontario, canada
Auteur :
Lauer, Peter E.
ISBN :
9783540568834
Date de publication :
16 juin 1993
Dimensions :
23,3 x 15,5 x 2,1 cm
Poids :
586 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This collection arose from a series of lectures for workers in computer science and other disciplines. The lectures were intended to familiarize them with some advanced computer based systems for the conceptualization, design, implementation, simulation, and logical analysis of applications.