Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

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) Loot Price: R3,254

Discovery Miles 32 540

Repayment Terms: R305 pm x 12*

Add to cart

Theoretical Aspects of Computer Software - International Conference TACS '91, Sendai, Japan, September 24-27, 1991....

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)

Takayasu Ito, Albert R. Meyer

Series: Lecture Notes in Computer Science, 526

(sign in to rate)

Loot Price R3,254 Discovery Miles 32 540 | Repayment Terms: R305 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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 Promotions
LSN:	3-540-54415-1
Barcode:	9783540544159