Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.
Einband grossAlgebraic Specification Techniques and Tools for Software Development: The ACT Approach
ISBN/GTIN

Algebraic Specification Techniques and Tools for Software Development: The ACT Approach

BuchGebunden
256 Seiten
Englisch
Explains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies.mehr

Produkt

KlappentextExplains how algebraic specification methods can be used for software development to support reliability, modifiability and reusability. These methods are introduced by parameterized and module specifications through practical examples and case studies.
Details
ISBN/GTIN978-981-02-1227-8
ProduktartBuch
EinbandartGebunden
FormatGenäht
Erscheinungsjahr1993
Erscheinungsdatum01.11.1993
Seiten256 Seiten
SpracheEnglisch
MasseBreite 162 mm, Höhe 223 mm, Dicke 19 mm
Gewicht485 g
Artikel-Nr.13908585

Inhalt/Kritik

Inhaltsverzeichnis
Algebraic specfication as formal method for software development; ACT one - a language for parameterized specification; ACT two - a language for module specification; the ACT environment. Appendix: algebraic concepts and operational semantics.mehr

Autor