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

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Formal Specification and Design

Name: Formal Specification and Design
Brand: Cambridge University Press
SKU: 02030813
Price: 66.06 EUR
Availability: InStock
Author: L. M. G. FeijsH. B. M. Jonkers
ISBN: 9780521435925

L. M. G. FeijsH. B. M. Jonkers

Език

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

Книга С меки корици

Код Либристо: 02030813

Издателство Cambridge University Press, ноември 2005

Formal specification is a method for precisely modelling computer-based systems that combines concep... Цялото описание

Код Либристо: 02030813

160 b

66.06 €

129.21 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

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

Jeg er taknemmelig Shelley Admont

Adobe ePub DRM

2.43 € 4.75 лв

Cours de Physique théorique - Mécanique des fluides Landau

С меки корици

68.65 € 134.27 лв

Le Corps de l'Homme Tome 4 Galet

С меки корици

24.25 € 47.42 лв

Cours Classique de Geographie: Europe Et Afrique Moderne Louis Dussieux

С меки корици

14.61 € 28.57 лв

Die Vogelwarte Rossitten J. Thienemann

С меки корици

30.98 € 60.60 лв

Das Windrad Libbenichen Reinhard Bek

С меки корици

84.20 € 164.68 лв

Aus dem Leben Kaiser Wilhelms 1849-1873. Bd.1 Louis Schneider

С меки корици

44.97 € 87.96 лв

Internationale Kommunikation - eine exemplarische Analyse am Beispiel Deutschland-Brasilien Lutz Volckart

С меки корици

18.13 € 35.46 лв

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.