Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Specification and Design L. M. G. FeijsH. B. M. Jonkers

Formal Specification and Design

Szerző: L. M. G. FeijsH. B. M. Jonkers
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Cambridge University Press
Elérhetőség: Beszállítói készleten
Küldés 9-15 napon belül
24 186 Ft
Formal specification is a method for precisely modelling computer-based systems that combines concep...

Információk a könyvről

Szerző
L. M. G. FeijsH. B. M. Jonkers
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
352
EAN
9780521435925
ISBN
0521435927
Enbook ID
02030813
Kiadó
Cambridge University Press
Súly
558
Méretek
170 x 245 x 18

Teljes leírás

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.

Érdekelheti

Outskirts of Galaxy Clusters (IAU C195)

Antonaldo Diaferio
26 292 Ft

Flavonoids in the Living System

John Manthey
35 202 Ft

The Rules of Dating My Best Friend's Sister

Penelope Ward
5 646 Ft

Resurrection: A Guide for the Perplexed

Lidija Novakovic
15 798 Ft

Environmental Anthropology

Helen Kopnina
85 974 Ft

Order of Coincidence

Mark Wildes
6 198 Ft

Oen Anholt I Sagn Og Saed Eiter Gamle Folks Mundtlige Meddelelser. Udgivet AF E. T. Kristensen.

Evald Tang Kristensen
8 104 Ft

Empire Gold

Wayne Neal
5 815 Ft

EW 104: Electronic Warfare Against a New Generation of Threats

David L. Adamy
50 719 Ft

The Reluctant Reindeer

Adrienne Kleinschmidt
4 488 Ft

Discover with Dex Level 1 Teacher's Book International Pack

Sandie Mourao
11 439 Ft

Five-Star Solos

Dennis Alexander
3 927 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Jeg er taknemmelig

Shelley Admont
793 Ft

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

Landau
22 450 Ft

Le Corps de l'Homme Tome 4

Galet
8 896 Ft

Cours Classique de Geographie: Europe Et Afrique Moderne

Louis Dussieux
5 379 Ft

Die Vogelwarte Rossitten

J. Thienemann
10 009 Ft

Das Windrad Libbenichen

Reinhard Bek
27 294 Ft

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

Louis Schneider
14 640 Ft

Internationale Kommunikation - eine exemplarische Analyse am Beispiel Deutschland-Brasilien

Lutz Volckart
6 394 Ft