TAPSOFT `91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, S. Abramsky; T.S.E. Maibaum
Автор: S. Abramsky; T.S.E. Maibaum Название: TAPSOFT `91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 ISBN: 3540539824 ISBN-13(EAN): 9783540539827 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of TAPSOFT `91 are organized into three parts: Colloquium on Trees in Algebra and Programming (CAAP), contained in Vol. 1, and Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD), both contained in Vol. 2. The proceedings are published in two volumes.
Автор: Josep Diaz; Fernando Orejas Название: TAPSOFT `89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 ISBN: 3540509399 ISBN-13(EAN): 9783540509394 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference consisted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP `89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT `89 Conference Proceedings are published in two volumes.
Автор: Josep Diaz; Fernando Orejas Название: TAPSOFT `89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 ISBN: 3540509402 ISBN-13(EAN): 9783540509400 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference consissted of three parts: - Advanced Seminar on Foundations of Innovative Software Development - Colloquium on Trees in Algebra and Programming (CAAP `89) - Colloquium on Current Issues in Programming Languages (CCIPL) The TAPSOFT `89 Conference Proceedings are published in two volumes.
Автор: Marie-Claude Gaudel; Jean-Pierre Jouannaud Название: TAPSOFT `93: Theory and Practice of Software Development ISBN: 3540566104 ISBN-13(EAN): 9783540566106 Издательство: Springer Рейтинг: Цена: 121110.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The aim of the conferences upon which this volume is based is to bring together theoretical computer scientists and researchers in software engineering, with a view to discussing how formal methods can be applied usefully in software development.
Автор: Soren Prehn; Hans Toetenel Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings ISBN: 3540548688 ISBN-13(EAN): 9783540548683 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
Автор: Soren Prehn; Hans Toetenel Название: VDM `91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings ISBN: 3540548343 ISBN-13(EAN): 9783540548348 Издательство: Springer Рейтинг: Цена: 111790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
