Items related to Theoretical Aspects of Computer Software: International...
Theoretical Aspects of Computer Software: International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings: 789 (Lecture Notes in Computer Science, 789) - Softcover
Synopsis
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.
"synopsis" may belong to another edition of this title.
Search results for Theoretical Aspects of Computer Software: International...
Stock Image
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings (Lecture Notes in Computer Science, 789)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540578871_new
Quantity: Over 20 available
Seller Image
Theoretical Aspects of Computer Software
Published by
Springer Berlin Heidelberg Mrz 1994, 1994
ISBN 10: 3540578870
ISBN 13: 9783540578871
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures. 908 pp. Englisch. Seller Inventory # 9783540578871
Quantity: 2 available
Seller Image
Theoretical Aspects of Computer Software : International Symposium TACS ¿94 Sendai, Japan, April 19¿22, 1994 Proceedings
Published by
Springer Berlin Heidelberg, 1994
ISBN 10: 3540578870
ISBN 13: 9783540578871
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures. Seller Inventory # 9783540578871
Quantity: 1 available
Stock Image
Theoretical Aspects of Computer Software: International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings (Lecture Notes in Computer Science, 789)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783540578871
Quantity: Over 20 available
Seller Image
Theoretical Aspects of Computer Software
Published by
Springer Berlin Heidelberg, 1994
ISBN 10: 3540578870
ISBN 13: 9783540578871
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theor. Seller Inventory # 448941160
Quantity: Over 20 available
Stock Image
Theoretical Aspects of Computer Software : International Symposium TACS '94 Sendai, Japan, April 19-22, 1994 Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540578871
Quantity: 10 available
Seller Image
Theoretical Aspects of Computer Software
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mär 1994, 1994
ISBN 10: 3540578870
ISBN 13: 9783540578871
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and programming; algebra, categories and linear logic; and subtyping, intersection and union types. The volume also includes seven invited talks and two open lectures.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 908 pp. Englisch. Seller Inventory # 9783540578871
Quantity: 2 available
Stock Image
Theoretical Aspects of Computer Software: International.
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 892. Seller Inventory # 354867426
Quantity: 4 available
Stock Image
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 1922, 1994 Proceedings
Published by
Springer-Verlag New York Inc, 1994
ISBN 10: 3540578870
ISBN 13: 9783540578871
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1994 edition. 898 pages. 9.25x6.10x1.79 inches. In Stock. Seller Inventory # x-3540578870
Quantity: 2 available
Stock Image
Theoretical Aspects of Computer Software: International.
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 892. Seller Inventory # 26357656381
Quantity: 4 available