Formal specification and design

Formal specification and design

Weitere Versionen anzeigen (1)

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 f...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Feijs, L. M. G. (VerfasserIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: Cambridge Cambridge University Press 1992
Schriftenreihe:Cambridge tracts in theoretical computer science 35
Schlagworte:
Computer software / Development
Object-oriented programming (Computer science)
Algebraische Spezifikation
Softwarespezifikation
Systemplanung
Systementwurf
Softwareentwicklung
Online-Zugang:BSB01
FHN01
URL des Erstveröffentlichers
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

BSB01
FHN01
URL des Erstveröffentlichers

Ähnliche Einträge