Specification of software systems

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Alagar, Vangalur S. (VerfasserIn)
Weitere Verfasser:	Periyasamy, K. (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New York, Heidelberg u.a. Springer 1998
Schriftenreihe:	Graduate texts in computer science
Schlagworte:	Software engineering > Computer software > Specifications > Softwareentwicklung > Softwarespezifikation > Formale Spezifikationstechnik > Komplexitätstheorie > Berechnungskomplexität > Modelltheorie > Prädikatenlogik
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Beschreibung:	Includes bibliographical references and index
Beschreibung:	XX, 422 S graph. Darst
ISBN:	0387984305 0-387-98430-5