KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Manfred Broy; Stefan J?hnichen

Автор: Tracy A. Gardner
Название: Inheritance Relationships for Disciplined Software Construction
ISBN: 1447110927 ISBN-13(EAN): 9781447110927
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Aptly named `Television`s First Lady` by Walter Ames of the Los Angeles Times, actress Beverly Garland (1926-2008) is also regarded as a Western and science-fiction film icon. In addition to more than 700 TV appearances, she made more than 55 feature and made-for-television films. This comprehensive biography includes a foreword and afterword by her colleagues Joseph Campanella and Peggy Webber.

Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr
Название: Correct Software in Web Applications and Web Services
ISBN: 3319171119 ISBN-13(EAN): 9783319171111
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;

Автор: Bernhard Thalheim; Klaus-Dieter Schewe; Andreas Pr
Название: Correct Software in Web Applications and Web Services
ISBN: 3319347276 ISBN-13(EAN): 9783319347271
Издательство: Springer
Рейтинг:
Цена: 13275.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability;

Автор: Tiziana Margaria; Tom Melham
Название: Correct Hardware Design and Verification Methods
ISBN: 3540425411 ISBN-13(EAN): 9783540425410
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

Автор: Roland Meyer; Andr? Platzer; Heike Wehrheim
Название: Correct System Design
ISBN: 3319235052 ISBN-13(EAN): 9783319235059
Издательство: Springer
Рейтинг:
Цена: 6708.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is dedicated to Professor Ernst--Rudiger Olderog on the occasion of his 60th birthday. After a laudatio section that provides a brief overview of Ernst- Rudiger Olderog`s research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog.

Автор: Christiane Floyd; C. Weiler-K?hn; Heinz Z?llighove
Название: Software Development and Reality Construction
ISBN: 3642768199 ISBN-13(EAN): 9783642768194
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The present book is based on the conference Software Development and Reality Construction held at SchloB Eringerfeld in Germany, September 25 - 30, 1988.