Specifying Software: A Hands-On Introduction

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780521808149: Specifying Software: A Hands-On Introduction

This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their 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 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. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Book Description:

A specification of a program is a detailed statement of what users of a program or program fragment expect it to do and what its developers expect of its environment. This book provides a self-contained introduction to software specifications suitable for use by programming students with some background in discrete mathematics and logic. This is one of the few books available on specifications that adopts a "hands-on" approach, presenting basic concepts in the context of numerous small programming examples, making these concepts easier for students to grasp than the traditional large-project approach used in software engineering courses.

Review:

"I would like to single out both the author's approach and his style of presentation as very positive features of the book. Reading this book is definitely inspiring..." Computing Reviews

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

R.D. Tennent
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 4
Da
Rem Distributors
(NORWALK, CT, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Condizione sovraccoperta: New. Shipped promptly and delivered within 3 to 5 working days. For PO BOX, APO, FPO and Puerto Rico addresses delivery done in 20 to 25 working days. Serving customers since 2006. Thousand of satisfied customers!. Codice libro della libreria MISC_9780521808149_Cambr1012_17

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 15,05
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,39
In U.S.A.
Destinazione, tempi e costi

2.

R. D. Tennent
Editore: Cambridge University Press (2002)
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Rilegato Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2002. Hardcover. Condizione libro: New. book. Codice libro della libreria 0521808146

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,88
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

3.

Tennent, R. D.
Editore: Cambridge University Press
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 1
Da
Ohmsoft LLC
(Lake Forest, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Condizione libro: Brand New. Ships from USA. FREE domestic shipping. Codice libro della libreria 0521808146

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 20,32
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

4.

Tennent R.D.
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 5
Da
firstbookstore
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Codice libro della libreria AIND-131584

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 36,78
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

5.

Tennent R.D.
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 1
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. US edition. Perfect condition. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-50435

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 37,18
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

6.

Tennent R.D.
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 1
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB50435

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 37,22
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

7.

Tennent R.D.
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 5
Da
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Codice libro della libreria AUSBNEW-131584

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 39,46
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

8.

Tennent R.D.
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 1
Da
Basi6 International
(Irving, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New, US edition. Excellent Customer Service. Codice libro della libreria ABEUSA-50435

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 39,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

R.D. Tennent
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 1
Da
Bookshub
(Karol Bagh, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. New. US edition. Perfect condition. Customer satisfaction our priority. Codice libro della libreria ABE-FEB-50436

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,50
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

10.

R.D. Tennent
ISBN 10: 0521808146 ISBN 13: 9780521808149
Nuovi Quantità: 1
Da
EBOOKSTORE2010
(New Delhi, ND, India)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Codice libro della libreria SHUB50436

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,54
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: India a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro