Ponad 4 miliony tytułów w języku angielskim i innych językach! Odkryj swoją nową historię już dziś!

Foundations of Algebraic Specification and Formal Software Development

Name: Foundations of Algebraic Specification and Formal Software Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642173356
Price: 520.67 PLN
Availability: InStock

Autor: Donald Sannella

Język:

Oprawa: Twarda

Wydawca: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Dostępność: Dostępna u dostawcy

Wysyłamy za 10-13 dni

520.67 zł

This book provides foundations for software specification and formal software development from the p...

Informacje o książce

Autor

Donald Sannella

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2011

strony

584

EAN

9783642173356

ISBN

3642173357

Enbook ID

01229652

Wydawca

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Waga

1078

Wymiary

166 x 241 x 38

Pełny opis

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations are built on a solid mathematical basis, using elements of universal algebra, category theory and logic, and this mathematical toolbox provides a convenient language for precisely formulating the concepts involved in software specification and development. Once formally defined, these notions become subject to mathematical investigation, and this interplay between mathematics and software engineering yields results that are mathematically interesting, conceptually revealing, and practically useful. The theory presented by the authors has its origins in work on algebraic specifications that started in the early 1970s, and their treatment is comprehensive. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. While the book is self-contained, mathematical maturity and familiarity with the problems of software engineering is required; and in the examples that directly relate to programming, the authors assume acquaintance with the concepts of functional programming. The book will be of value to researchers and advanced graduate students in the areas of programming and theoretical computer science.

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Foundations of Algebraic Specification and Formal Software Development

Informacje o książce

Pełny opis

Możesz być zainteresowany

Generalized Voronoi Diagram: A Geometry-Based Approach to Computational Intelligence

Continental Scientific Drilling

Networked and Distributed Predictive Control

Healing for the Soul

Succeeding With What You Have

Armor of God

Short flights

The Cornet of Horse: A Tale of Marlborough's Wars

Lectures on Legal History: And Miscellaneous Legal Essays.

Return of the Ender Dragon

Restoring the Minoans

Mrs. Mary Eales's Receipts. Confectioner to Her Late Majesty Queen Anne.

From Polders to Postmodernism

Deafening Sound of Silent Tears

Contrast-Enhanced Ultrasound in Clinical Practice

Life in Neolithic Farming Communities

From Head to Toe Big Book

Klienci, którzy kupili tę książkę, kupili również

' Wer bist du, Gott?'

Ravensburger Kinderpuzzle - 06768 Rettungseinsatz - Rahmenpuzzle für Kinder ab 4 Jahren, mit 39 Teilen

Londýn 1000 dílků

Erfindung der Buchdruckerkunst

Syntaxe grecque

Pantelleria.