Artículos relacionados a Theoretical Aspects of Computer Software: International...
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings: 526 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2013
- ISBN 10 3540544151
- ISBN 13 9783540544159
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas788
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 106,99
EUR 11,99 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Theoretical Aspects of Computer Software: International...
Imagen del vendedor
Theoretical Aspects of Computer Software: I
Publicado por
Springer Berlin Heidelberg, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Antiguo o usado
Taschenbuch
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Gut. 772 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1086. Nº de ref. del artículo: 277726
Cantidad disponible: 1 disponibles
Imagen del vendedor
Theoretical Aspects of Computer Software : International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings
Publicado por
Springer Berlin Heidelberg, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540544159
Cantidad disponible: 1 disponibles
Imagen de archivo
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540544159_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theoretical Aspects of Computer Software
Publicado por
Springer Berlin Heidelberg Aug 1991, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9783540544159
Cantidad disponible: 2 disponibles
Imagen del vendedor
Theoretical Aspects of Computer Software
Publicado por
Springer Berlin Heidelberg, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. 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 ref. del artículo: 4893182
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Theoretical Aspects of Computer Software
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 1991, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Neuware -TACS'91 is the first International Conference on TheoreticalAspects of Computer Science held at Tohoku UniversityJapan, in September 1991. This volume contains 37 papers andan abstract for the talks presented at the conference.TACS'91 focused on theoretical foundations of programmingand theoretical aspects of the design, analysis andimplementation of programming languages and systems. Thefollowing range of topics is covered: logic, proofspecification 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 788 pp. Englisch. Nº de ref. del artículo: 9783540544159
Cantidad disponible: 2 disponibles
Imagen de archivo
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020170017
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Theoretical Aspects of Computer Software: International Conference TACS *91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science)
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Like New. Like New. book. Nº de ref. del artículo: ERICA77335405441516
Cantidad disponible: 1 disponibles