Beschreibung
A new text/reference on formal method and techniques and tools for software development project design. Essential book for software engineers in R&D departments in industry, as well as for graduate students.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com




































































































