Verwandte Artikel zu 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) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2013
- ISBN 10 3540544151
- ISBN 13 9783540544159
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten788
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 106,99
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Theoretical Aspects of Computer Software: International...
Foto des Verkäufers
Theoretical Aspects of Computer Software: I
Verlag:
Springer Berlin Heidelberg, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Gebraucht
Taschenbuch
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Gut. 772 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1086. Bestandsnummer des Verkäufers 277726
Anzahl: 1 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computer Software : International Conference TACS ¿91, Sendai, Japan, September 24¿27, 1991. Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540544159
Anzahl: 1 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computer Software
Verlag:
Springer Berlin Heidelberg Aug 1991, 1991
ISBN 10: 3540544151
ISBN 13: 9783540544159
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540544159
Anzahl: 2 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computer Software
ISBN 10: 3540544151
ISBN 13: 9783540544159
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783540544159
Anzahl: 2 verfügbar
Foto des Verkäufers
Theoretical Aspects of Computer Software
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 4893182
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540544159_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Computer Software: International Conference TACS '91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science, 526)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020170017
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Theoretical Aspects of Computer Software: International Conference TACS *91, Sendai, Japan, September 24-27, 1991. Proceedings (Lecture Notes in Computer Science)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Paperback. Zustand: Like New. Like New. book. Bestandsnummer des Verkäufers ERICA77335405441516
Anzahl: 1 verfügbar