Media type: E-Book Title: Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada Contributor: Lauer, Peter E. [Author] imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 1993 Published in: Lecture notes in computer science ; 693 Bücher Extent: Online-Ressource Language: English DOI: 10.1007/3-540-56883-2 ISBN: 9783540477761 Identifier: RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge SS 4800 : Lecture notes in computer science Keywords: Funktionale Programmierung Nebenläufigkeit Prototyping Automatisches Beweisverfahren Origination: Footnote: