Theoretical Aspects of Computer Software 1991 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Frais de port :
Gratuit
Vers Etats-Unis
Frais de port :
Gratuit
Vers Etats-Unis
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 2.39. N° de réf. du vendeur G3540544151I5N00
Quantité disponible : 1 disponible(s)
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Soft Cover. Etat : new. N° de réf. du vendeur 9783540544159
Quantité disponible : 10 disponible(s)
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Taschenbuch. Etat : Gut. 772 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1086. N° de réf. du vendeur 277726
Quantité disponible : 1 disponible(s)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020170017
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 5906404-n
Quantité disponible : 5 disponible(s)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9783540544159_lsuk
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : New. N° de réf. du vendeur 5906404-n
Quantité disponible : 5 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : 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 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. N° de réf. du vendeur 9783540544159
Quantité disponible : 1 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540544159
Quantité disponible : 2 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : 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. N° de réf. du vendeur 4893182
Quantité disponible : Plus de 20 disponibles