
Introduction to Computation and Programming Using Python
John V. Guttag
₹3,150

Languages and Tools for Formal Specification
Springer Nature · 2011 · Paperback
Free delivery. Nothing extra to pay at checkout.
Published by Springer Nature in 2011, Larch: Languages and Tools for Formal Specification by John V. Guttag runs to 263 pages in paperback.
The book deals with Computer programming, Computer software, Development and Larch (Computer program language).