Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	November 1993
Genre:	EDV / Informatik
	COMPUTERS / Machine Theory / COMPUTERS / Software Development & Engineering / General / Mathematical theory of computation / Software Engineering
ISBN:	9789810212278
EAN-Code:	9789810212278
Verlag:	World Scientific Publishing
Einband:	Gebunden
Sprache:	English
Serie:	Amast Series in Computing
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

The intention of this book is to show 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 using algebraic specification languages and tools developed at TU Berlin.