Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Specification and Design

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

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

Limba

engleză

Carte Carte broșată

Codul Libristo: 02030813

Editura Cambridge University Press, noiembrie 2005

Formal specification is a method for precisely modelling computer-based systems that combines concep... Descrierea completă

Codul Libristo: 02030813

167 b

360.43 lei

În depozitul extern Expediem în 9-15 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Jeg er taknemmelig Shelley Admont

Adobe ePub DRM

12.12 lei

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

Carte broșată

343.31 lei

Le Corps de l'Homme Tome 4 Galet

Carte broșată

132.61 lei

Cours Classique de Geographie: Europe Et Afrique Moderne Louis Dussieux

Carte broșată

79.94 lei

Die Vogelwarte Rossitten J. Thienemann

Carte broșată

148.17 lei

Das Windrad Libbenichen Reinhard Bek

Carte broșată

417.35 lei

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

Carte broșată

216.81 lei

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

Carte broșată

94.56 lei

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.