
Formal Specification and Documentation Using Z
Jonathan. P. Bowen
₹3,849

Third International School
by Jonathan P. Bowen, Zhiming Liu, Zili Zhang
Springer Nature Switzerland AG · 2018 · Paperback
Free delivery. Nothing extra to pay at checkout.
Engineering Trustworthy Software Systems: Third International School by Jonathan P. Bowen, Zhiming Liu & others is a 219-page paperback edition published by Springer Nature Switzerland AG in 2018.
Its main subjects are Software engineering and Computer architecture.