Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Programming with Specifications

Name: Programming with Specifications
Brand: Springer, Berlin
SKU: 9780387972541
Price: 92.51 EUR
Availability: InStock

An Introduction to ANNA, A Language for Specifying Ada Programs

Автор: David Luckham

Език:

Корици: С твърди корици

Издател: Springer, Berlin

Наличност: 50% вероятност

Ще претърсим света

92.51 € 180.94 лв

Topics what this book is about, its intended audience, what the reader ought to know, how the book i...

Информация за книгата

Автор

David Luckham

Език

Английски език

Корици

Книга - С твърди корици

страници

416

EAN

9780387972541

Enbook ID

01385147

Издател

Springer, Berlin

Теглоt

750

Размери

160 x 240 x 23

Пълно описание

Topics what this book is about, its intended audience, what the reader ought to know, how the book is organized, acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be expressed in a programming lan guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Информация за книгата

Пълно описание

Може също да ви хареса

Oxford Handbook of Universal Grammar

Introduction to Musical Harmony

Born Whole

Learning Environments

Roman Canon Law in Reformation England

Medicine Across Cultures

Portrait of an Addict as a Young Man

Queer Theatre and the Legacy of Cal Yeomans

Клиенти, които купиха тази книга, купиха също

Methoden der Künstlichen Intelligenz zur Lösung des Prognoseproblems bei der Unternehmensbewertung.

Familienpolitik als Einkommens- und Eigentumspolitik.

Tag von Potsdam

Le Monde Invisible Devoile Revelations Du Microscope (2e Ed.) (Ed.1880)

Konečně EX toho vašeho EX

Mein erstes dickes Malbuch ab 2 - Tiere

Таро архангелов