Theoretical Aspects of Computer Software - International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings (Paperback, Softcover reprint of the original 1st ed. 1991)

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 526
Release date:	August 1991
First published:	1991
Editors:	Takayasu Ito • Albert R. Meyer
Dimensions:	235 x 155 x 39mm (L x W x T)
Format:	Paperback
Pages:	776
Edition:	Softcover reprint of the original 1st ed. 1991
ISBN-13:	978-3-540-54415-9
Categories:	Books > Computing & IT > Computer programming > Software engineering
LSN:	3-540-54415-1
Barcode:	9783540544159

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!