BooksMathematical theory of computationArtificial intelligenceComputer programmingSoftware developmentSoftware engineering
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Product Details
Publisher
Springer
Published
1993
Pages
416
Binding
Paperback
Edition
1993
ISBN
9783540568834
Language
English
Genre
Mathematical theory of computation, Artificial intelligence, Computer programming, Software development, Software engineering
Category
Books