SPECIFICATION OF SOFTWARE SYSTEMS (Texts in Computer Science) - Hardcover

Alagar, V-S; Periyasamy, K

 
9780387984308: SPECIFICATION OF SOFTWARE SYSTEMS (Texts in Computer Science)
Hardcover
ISBN 10: 0387984305 ISBN 13: 9780387984308
Verlag: Springer Verlag, 1998

Inhaltsangabe

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages (Larch, VDM, and Z), the book discusses specification in general, the abstraction process, the mathematical tools required, and the main formal methods.

Biografía del autor

Alagar-Concordia University, Montreal, Canada

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
0387984305
ISBN 13 
9780387984308
Einband
Tapa dura
Anzahl der Seiten
422
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780857292766: Specification of Software Systems (Texts in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0857292765 ISBN 13:  9780857292766
Verlag: Springer, 2011
Hardcover