Items related to TAPSOFT '93: Theory and Practice of Software Development...
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science, 668) - Softcover
Synopsis
This volume contains the proceedings of the fourth International Joint Conference on the Theory and Practice of Software Development, TAPSOFT '93. Since the first in 1985, the aim of these conferences has been to bring together theoretical computer scientists and researchers in software engineering with a view to discussing how formal methods can usefully be applied in software development. TAPSOFT '93 consists ofthree parts: an advanced seminar, the Colloquium on Trees in Algebra and Programming (CAAP), and the Colloquium on Formal Approaches of Software Engineering (FASE). The advanced seminar includes four invited surveys and four invited conferences. The selected papers for CAAP are organized in seven sessions: specifications and proofs, concurrency, automata and counting, constraints solving, rewriting, logic and trees, analysis of algorithms, and a common session with FASE on type inference. The selected papers for FASE are presented in eight sessions: case studies in formal design and development, compositionality modules and development, formal development, foundations and analysis of formal specifications, verification of concurrent systems, model checking, parallel calculus, and a common session with CAAP on type inference.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1993
- ISBN 10 3540566104
- ISBN 13 9783540566106
- BindingPaperback
- LanguageEnglish
- Number of pages780
- EditorGaudel Marie-Claude, Jouannaud Jean-Pierre
Search results for TAPSOFT '93: Theory and Practice of Software Development...
Stock Image
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Seller Inventory # UTD1423642
Quantity: 1 available
Stock Image
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science, 668)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020170801
Quantity: Over 20 available
Stock Image
TAPSOFT '93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings (Lecture Notes in Computer Science, 668)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540566106_new
Quantity: Over 20 available
Seller Image
TAPSOFT '93: Theory and Practice of Software Development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540566104
ISBN 13: 9783540566106
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 fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with a view to discussing how formal methods canusefully be applied in software development.TAPSOFT '93 consists ofthree parts: an advanced seminar,the Colloquium on Trees in Algebra and Programming (CAAP),and the Colloquium on Formal Approaches of SoftwareEngineering (FASE). The advanced seminar includes fourinvited surveys and four invited conferences. The selectedpapers for CAAP are organized in seven sessions:specifications and proofs, concurrency, automata andcounting, constraints solving, rewriting, logic and trees,analysis of algorithms, and a common session with FASE ontype inference. The selected papers for FASE are presentedin eight sessions: case studies in formal design anddevelopment, compositionality modules and development,formal development, foundations and analysis of formalspecifications, verification of concurrent systems, modelchecking, parallel calculus, and a common session with CAAPon type inference. Seller Inventory # 9783540566106
Quantity: 1 available
Seller Image
TAPSOFT 93: Theory and Practice of Software Development
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540566104
ISBN 13: 9783540566106
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 fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT 93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer sci. Seller Inventory # 4894004
Quantity: Over 20 available
Seller Image
TAPSOFT '93: Theory and Practice of Software Development
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Apr 1993, 1993
ISBN 10: 3540566104
ISBN 13: 9783540566106
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the proceedings of the fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with a view to discussing how formal methods canusefully be applied in software development.TAPSOFT '93 consists ofthree parts: an advanced seminarthe Colloquium on Trees in Algebra and Programming (CAAP)and the Colloquium on Formal Approaches of SoftwareEngineering (FASE). The advanced seminar includes fourinvited surveys and four invited conferences. The selectedpapers for CAAP are organized in seven sessions:specifications and proofs, concurrency, automata andcounting, constraints solving, rewriting, logic and treesanalysis of algorithms, and a common session with FASE ontype inference. The selected papers for FASE are presentedin eight sessions: case studies in formal design anddevelopment, compositionality modules and developmentformal development, foundations and analysis of formalspecifications, verification of concurrent systems, modelchecking, parallel calculus, and a common session with CAAPon type inference. 780 pp. Englisch. Seller Inventory # 9783540566106
Quantity: 1 available
Seller Image
TAPSOFT '93: Theory and Practice of Software Development
Published by
Springer Berlin Heidelberg Apr 1993, 1993
ISBN 10: 3540566104
ISBN 13: 9783540566106
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 fourthInternational Joint Conference on the Theory and Practice ofSoftware Development, TAPSOFT '93. Since the first in 1985,the aim of these conferences has been to bring togethertheoretical computer scientists and researchers in softwareengineering with a view to discussing how formal methods canusefully be applied in software development.TAPSOFT '93 consists ofthree parts: an advanced seminar,the Colloquium on Trees in Algebra and Programming (CAAP),and the Colloquium on Formal Approaches of SoftwareEngineering (FASE). The advanced seminar includes fourinvited surveys and four invited conferences. The selectedpapers for CAAP are organized in seven sessions:specifications and proofs, concurrency, automata andcounting, constraints solving, rewriting, logic and trees,analysis of algorithms, and a common session with FASE ontype inference. The selected papers for FASE are presentedin eight sessions: case studies in formal design anddevelopment, compositionality modules and development,formal development, foundations and analysis of formalspecifications, verification of concurrent systems, modelchecking, parallel calculus, and a common session with CAAPon type inference. 780 pp. Englisch. Seller Inventory # 9783540566106
Quantity: 2 available