Software Engineering with OBJ Algebraic Specification in Action

Software Engineering with OBJ Algebraic Specification in Action

Software Engineering with OBJ: Algebraic Specification in Action is a comprehensive introduction to OBJ, the most widely used algebraic specification system. As a formal specification language, OBJ makes specifications and designs more precise and easier to read, as well as making maintenance easier...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Goguen, Joseph A. (HerausgeberIn), Malcolm, Grant (HerausgeberIn)
Format: Elektronisch E-Book
Sprache:English
Veröffentlicht: New York, NY Springer US 2000
Ausgabe:1st ed. 2000
Schriftenreihe:Advances in Formal Methods 2
Schlagworte:
Artificial Intelligence
Programming Languages, Compilers, Interpreters
Software Engineering/Programming and Operating Systems
Computer Science, general
Artificial intelligence
Programming languages (Electronic computers)
Software engineering
Computer science
Online-Zugang:UBY01
URL des Eerstverö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

UBY01
URL des Eerstveröffentlichers

Ähnliche Einträge