Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Formal Specification and Design

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

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

Sprache

Englisch

Buch Broschur

Libristo-Code: 02030813

Verlag Cambridge University Press, November 2005

Formal specification is a method for precisely modelling computer-based systems that combines concep... Vollständige Beschreibung

Libristo-Code: 02030813

167 b

68.19 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jeg er taknemmelig Shelley Admont

Adobe ePub DRM

2.39 €

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

Broschur

67.69 €

Le Corps de l'Homme Tome 4 Galet

Broschur

25.09 €

Cours Classique de Geographie: Europe Et Afrique Moderne Louis Dussieux

Broschur

15.09 €

Die Vogelwarte Rossitten J. Thienemann

Broschur

30.59 €

Das Windrad Libbenichen Reinhard Bek

Broschur

83.09 €

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

Broschur

44.39 €

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

Broschur

18.95 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Specification and Design

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

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 352

EAN 9780521435925

ISBN 0521435927

Libristo-Code 02030813

Verlag Cambridge University Press

Gewicht 558

Abmessungen 170 x 245 x 18

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Informatik > Theoretische Informatik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert