Specification of Software Systems (Texts in Computer Science) - Hardcover

Buch 20 von 83: Texts in Computer Science

Alagar, V.S.; Periyasamy, K.

 
9780387984308: Specification of Software Systems (Texts in Computer Science)
Hardcover
ISBN 10: 0387984305 ISBN 13: 9780387984308
Verlag: Springer, 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.

Verlag
Springer
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
0387984305
ISBN 13 
9780387984308
Einband
Gebundene Ausgabe
Anzahl der Seiten
422
Kontakt zum Hersteller
Dt. Universitätsverlag
buchhandel-buch@springer.com

Abraham-Lincoln-Str. 46
Wiesbaden
65198
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