Ito Meyer (8 results)
- Softcover
Seller: NEPO UG, Rüsselsheim am Main, , GermanyNEPO UG
Contact seller5-star sellerCondition: Used - Very good
US$ 94.06
US$ 27.54 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Gut. 772 Seiten ex Library Book aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1086.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
US$ 132.04
US$ 15.85 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 113.11
US$ 80.33 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Theoretical Aspects of Computer Software | International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings | Takayasu Ito (u. a.) | Taschenbuch | x | Englisch | 1991 | Springer | EAN 9783540544159 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121… Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 126.45
US$ 75.57 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - TACS'91 is the first International Conference on TheoreticalAspects of Computer Science held at Tohoku University,Japan, in September 1991. This volume contains 37 papers andan abstract for the talks presented at the conference.TACS'91 focused on t…heoretical foundations of programming,and theoretical aspects of the design, analysis andimplementation of programming languages and systems. Thefollowing range of topics is covered: logic, proof,specification and semantics of programs and languages;theories and models of concurrent, parallel and distributedcomputation; constructive logic, category theory, and typetheory in computer science; theory-based systems forspecifying, synthesizing, transforming, testing, andverifying software.
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 203.06
US$ 33.08 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. Like New. book.
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1991 1991
- Softcover
- Print on Demand
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , GermanyBuchWeltWeit Ludwig Meier e.K.
Contact seller5-star sellerCondition: New
US$ 126.45
US$ 26.39 shippingShips from Germany to U.S.A.Quantity: 2 available
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -TACS'91 is the first International Conference on TheoreticalAspects of Computer Science held at Tohoku University,Japan, in September 1991. This volume contains 37 papers andan abstract for the talks presented at the conference.TACS…'91 focused on theoretical foundations of programming,and theoretical aspects of the design, analysis andimplementation of programming languages and systems. Thefollowing range of topics is covered: logic, proof,specification and semantics of programs and languages;theories and models of concurrent, parallel and distributedcomputation; constructive logic, category theory, and typetheory in computer science; theory-based systems forspecifying, synthesizing, transforming, testing, andverifying software. 788 pp. Englisch.
- Softcover
- Print on Demand
Seller: moluna, Greven, , Germanymoluna
Contact seller5-star sellerCondition: New
US$ 109.06
US$ 56.22 shippingShips from Germany to U.S.A.Quantity: Over 20 available
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. TACS 91 is the first International Conference on TheoreticalAspects of Computer Science held at Tohoku University,Japan, in September 1991. This volume contains 37 papers andan abstract for the talks presented at the…conference.TACS 91 focused on th.
- Softcover
- Print on Demand
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germanybuchversandmimpf2000
Contact seller5-star sellerCondition: New
US$ 126.45
US$ 68.85 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume gives the proceedings of TACS '91, which focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems.Springer-Verlag KG, Sachsenp…latz 4-6, 1201 Wien 788 pp. Englisch.
