PARLE '89 - Parallel Architectures and Languages Europe

PARLE '89 - Parallel Architectures and Languages Europe
Author :
Publisher : Springer Science & Business Media
Total Pages : 460
Release :
ISBN-10 : 3540512853
ISBN-13 : 9783540512851
Rating : 4/5 (53 Downloads)

Book Synopsis PARLE '89 - Parallel Architectures and Languages Europe by : Eddy Odijk

Download or read book PARLE '89 - Parallel Architectures and Languages Europe written by Eddy Odijk and published by Springer Science & Business Media. This book was released on 1989-06-05 with total page 460 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proceedings -- Parallel Computing.


PARLE '89 - Parallel Architectures and Languages Europe Related Books

PARLE '89 - Parallel Architectures and Languages Europe
Language: en
Pages: 460
Authors: Eddy Odijk
Categories: Computers
Type: BOOK - Published: 1989-06-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Proceedings -- Parallel Computing.
CSL '89
Language: en
Pages: 452
Authors: Egon Börger
Categories: Computers
Type: BOOK - Published: 1990-07-10 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This volume contains the revised versions of 28 papers presented at the third workshop on Computer Science Logic held in Kaiserslautern, FRG, October 2-6, 1989.
Combinatorics on Traces
Language: en
Pages: 184
Authors: Volker Diekert
Categories: Computers
Type: BOOK - Published: 1990-09-12 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The construction of a software system is a task that has to be structured toensure that the software product fulfills all expectations and the process of produc
ESEC '89
Language: en
Pages: 506
Authors: Carlo Ghezzi
Categories: Computers
Type: BOOK - Published: 1989 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

The book is concerned with the broad topic of software engineering. It comprises the proceedings of the European Software Engineering Conference (ESEC) held at
On the Shape of Mathematical Arguments
Language: en
Pages: 196
Authors: A. J. M. Gasteren
Categories: Computers
Type: BOOK - Published: 1990-07-24 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how compl