Peste 4 milioane de titluri în engleză și alte limbi! Descoperă-ți noua poveste astăzi!

Programming with Specifications

Name: Programming with Specifications
Brand: Springer, Berlin
SKU: 9780387972541
Price: 462.75 RON
Availability: InStock

An Introduction to ANNA, A Language for Specifying Ada Programs

Autor: David Luckham

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: șansă 50%

Şanse de a obține acest titlu

462.75 lei

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

Informații despre carte

Autor

David Luckham

Limbă

engleză

Legare

Carte - Copertă tare

Pagini

416

EAN

9780387972541

Enbook ID

01385147

Editura

Springer, Berlin

Greutate

750

Dimensiuni

160 x 240 x 23

Descriere completă

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.

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Programming with Specifications

An Introduction to ANNA, A Language for Specifying Ada Programs

Informații despre carte

Descriere completă

S-ar putea să te intereseze

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

Clienții care au cumpărat această carte au mai cumpărat și

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

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