Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming ...
Read More
Provides an innovative hands-on introduction to techniques for specifying the behaviour of software components. It is primarily intended for use as a text book for a course in the 2nd or 3rd year of Computer Science and Computer Engineering programs, but it is also suitable for self-study. Using this book will help the reader improve programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages.
Read Less
Add this copy of Specifying Software: a Hands-on Introduction to cart. $5.12, very good condition, Sold by ThriftBooks-Reno rated 5.0 out of 5 stars, ships from Reno, NV, UNITED STATES, published 2002 by Cambridge University Press.
Add this copy of Specifying Software (a Hands-on Introduction) to cart. $5.13, fair condition, Sold by HPB-Red rated 5.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2002 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fair. Connecting readers with great books since 1972. Used textbooks may not include companion materials such as access codes, etc. May have condition issues including wear and notes/highlighting. We ship orders daily and Customer Service is our top priority!
Add this copy of Specifying Software: a Hands-on Introduction to cart. $19.30, very good condition, Sold by HPB-Ruby rated 4.0 out of 5 stars, ships from Dallas, TX, UNITED STATES, published 2002 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!
Add this copy of Specifying Software: a Hands-on Introduction to cart. $29.00, very good condition, Sold by Bingo Used Books rated 5.0 out of 5 stars, ships from Vancouver, WA, UNITED STATES, published 2001 by Spain: Cambridge Univ Pr.
Add this copy of Specifying Software: a Hands-on Introduction to cart. $33.72, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 2002 by Cambridge University Press.
Add this copy of Specifying Software: A Hands-On Introduction to cart. $55.83, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2002 by Cambridge University Press.
Add this copy of Specifying Software: A Hands-On Introduction to cart. $66.54, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 2002 by Cambridge University Press.
Add this copy of Specifying Software to cart. $72.56, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 2002 by Cambridge University Press CUP.
