Code: 02044306

Specifying Software

Name: Specifying Software
Brand: Cambridge University Press
SKU: 02044306
Price: 108.13 EUR
Availability: InStock
Author: R.D. Tennent
ISBN: 9780521808149

by R.D. Tennent

Language: English
Binding: Hardback
Number of pages: 302
Publisher: Cambridge University Press, 2002
More about this

108.13 €

RRP: 108.16 €

You save 0.03 €

In stock at our supplier
Shipping in 10 - 18 days

Add to wishlist

Advanced Grammar in Use
45.60 €
Buy
Maths - No Problem! Multiplication and Division, Ages 5-7 (Key Stage 1)
5.56 € -25 %
Buy
Rubinrot
16.10 € -16 %
Pre-order
Design of Steel Structures for Buildings in Seismic Areas - Eurocode 8 - Design of Structures for Earthquake Resistance. Part 1 - General
59.68 € -14 %
Buy
Epistulae morales ad Lucilium / Briefe an Lucilius über Ethik
24.41 € -13 %
Buy
Das Skript
13.87 € -5 %
Buy
Think Second edition Starter Workbook with Digital Pack American English
34.85 €
Buy
Harry Styles: Everyone's Favorite Performer: Everyone's Favorite Performer
24.72 € -24 %
Buy
Learn to Program with Java JDK 15.0
26.95 € -7 %
Buy
Inflammatory Bowel Disease
158.70 €
Buy
Mathematical Analysis for Engineering and Applied Sciences
200.15 €
Buy
Decision making in the EU before and after the Lisbon Treaty
132.85 €
Buy
Les "livres Des Couvents," Un Genre Litt raire Arabe M di val
99 €
Buy
Britain's Persian Connection 1798-1828
154.95 €
Buy
El Capitan
11.54 € -23 %
Buy
Demetrius – Sacker of Cities
14.68 € -9 %
Buy
Literacy Edition Storyworlds Stage 4, Once Upon A Time World, Workbook
3.44 €
Buy
Could a Robot Make My Dinner? And Other Questions About Technology
9.72 € -9 %
Buy
Albania. Pascal lajt
6.68 € -32 %
Buy
fan for Fanning, and a Touch-stone to Tyron, Containing an Impartial Account of the Rise and Progress of the so Much Talked of Regulation in North-Car
28.37 € -1 %
Buy
Les scandales des hôpitaux de Paris et de l' Hôpital Pompidou
25.33 €
Buy
Reliability and Risk Models - Setting Reliability Requirements 2e
146.03 € -3 %
Buy
Introduction To Coastal Engineering And Management (Third Edition)
59.07 €
Buy
Collected Poems for Children
16.10 € -24 %
Buy
Advanced Design Techniques for RF Power Amplifiers
109.54 €
Buy
English Translations of Korczak's Children's Fiction
99.82 €
Buy
Montpelier Parade
16 € -14 %
Buy
Medicina para serpientes
24.92 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 261 loyalty points

Book synopsis

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.