Specification of Software Systems

89.99 CHF

Versandkostenfrei

Lieferzeit: 7-14 Werktage

Artikel-Nr.: 10361659

Beschreibung

Part I: Specification Fundamentals
The Role of Specification
Specification Activities
Specification Qualities
Abstraction
Part II: Formalism Fundamentals
Formal Systems
Automata
Extended Finite State Machine
Classification of Formal Specification Methods
Part III: Logic
Propositional Logic
Predicate Logic
Temporal Logic
Part IV: Mathematical Abstractions for Model-based Specifications
Set Theory and Relations
Part V: Property-oriented Specifications
Algebraic Specification
Larch
Calculus of Communicating Systems
Part VI: Model-based Specifications
Vienna Development Method
The Z Notation
The Object-Z Specification Language
The B-Method

Eigenschaften

Breite:	155
Gewicht:	992 g
Höhe:	235
Länge:	236
Seiten:	646
Sprachen:	Englisch
Autor:	K. Periyasamy, V. S. Alagar

Bewertung

Menü schließen

Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Ich habe die Datenschutzbestimmungen zur Kenntnis genommen.