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
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151982 ISBN-13(EAN): 9783540151982
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Hartmut Ehrig; Christiane Floyd; Maurice Nivat; Ja
Название: Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
ISBN: 3540151990 ISBN-13(EAN): 9783540151999
Издательство: Springer
Рейтинг:
Цена: 6567.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Hartmut Ehrig; Robert A. Kowalski; Giorgio Levi; U
Название: TAPSOFT `87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
ISBN: 354017611X ISBN-13(EAN): 9783540176114
Издательство: Springer
Рейтинг:
Цена: 4890.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: 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
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.