Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Functional Programming, Concurrency, Simulation and Automated Reasoning

Name: Functional Programming, Concurrency, Simulation and Automated Reasoning
Brand: Springer, Berlin
SKU: 01565663
Price: 19902 HUF
Availability: InStock
Author: Peter E. Lauer
ISBN: 9783540568834

International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada

Peter E. Lauer

Language

English

Book Paperback

Libristo code: 01565663

Publishers Springer, Berlin, November 1992

This collection of papers arose from a series of lectures for workers in computer science and other... Full description

Libristo code: 01565663

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

DEUS HOMO - Der Mensch - lebendiger Gott Rainer Sauer

Paperback

6 919 Ft

Room Eivor

Audio CD

7 242 Ft

Coloriages Mystères Disney - Fées, sorciers et magiciens

Paperback

7 649 Ft

Zmącony obraz Whitaker Robert

Hardback

5 907 Ft

Złożone PTSD od przetrwania do pełni życia proces powrotu do zdrowia po traumie dziecięcej Pete Walker

Hardback

8 000 Ft

LA PETITE SIRÈNE - Disney Cinéma - L'histoire du film - Disney Princesses

Book

7 224 Ft

Essai Sur La Conformite De La Medecine Ancienne Et Moderne (1768) John Barker

Paperback

13 440 Ft

Od pluhu do senátu a zpátky František Houdek

Paperback

3 036 Ft

Competitive Intelligence. Ein Leitfaden Benjamin Schorn

Paperback

16 606 Ft

Drzewo życia Tom 2 lata 1940-1942 Rosenfarb Chava

Paperback

3 827 Ft

L'Unione Sovietica e la Shoah. Genocidio, resistenza, rimozione Antonella Salomoni

Hardback

15 155 Ft

Nicod'me Laroche Agn's

Paperback

6 304 Ft

Uccelli Libro Da Colorare Neil Masters

Paperback

3 004 Ft

Rund Um Den Kongress Ödön von 10000001763 Horváth

Paperback

3 517 Ft

OEkonomische Analyse Der Aktienrechtlichen Anfechtungsklage Helfried Labrenz

Paperback

22 305 Ft

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 analysis of applications in these disciplines.The collection presents some strong motivational points for the use of theory based systems in the areas of functional programming, concurrency, simulation, and automated reasoning, highlighting some of their advantages and disadvantages relative to conventional systems. The papers are mostly the work of individuals who were among the originators of the systems presented. The volume is intended as a contribution to narrowing the learning gap facing conventional computer users when they wish to use advanced theory based systems. The papers are meant for a wide audience and should not require great mathematical sophistication for their comprehension. The papers contain numerous references for those wishing to pursue a topic in greater depth.