Specifying Software: A Hands-On Introduction

Valutazione media 1
( su 1 valutazioni fornite da GoodReads )
 
9780521004015: Specifying Software: A Hands-On Introduction

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.

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

Recensione:

'The treatment of state diagrams or grammars as specialized specification languages and embedding them into a more general context of specifying algorithms and data representations is an interesting approach that is quite novel … 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, and not just for a student.' Computing Reviews

'This book was written to support a short course in the second or third year of an undergraduate computer science, software engineering, or software design program. The prerequisites are fairly modest: some programming experience and some exposure to the most basic concepts of discrete mathematics and to the language of elementary logic. Using this book will help readers improve their programming skills and develop a solid foundation for subsequent courses in advanced algorithms and data structures, software design, formal methods, and compilers.' Zentralblatt für Mathematik

Descrizione del libro:

An introductory textbook on software specifications suitable for programming students with some background in discrete mathematics and logic. The author adopts a unique 'hands-on' approach, presenting basic concepts in the context of numerous small programming examples. Topics include assertional notations, state diagrams, grammars, and regular expressions.

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
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Paperback. Condizione libro: New. 234 x 154 mm. Language: English . Brand New Book ***** Print on Demand *****.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. Codice libro della libreria AAV9780521004015

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,25
Convertire valuta

Aggiungere al carrello

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

2.

Tennent, R. D.
Editore: Cambridge University Press (2016)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Quantità: 1
Print on Demand
Da
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2016. Paperback. Condizione libro: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Codice libro della libreria ria9780521004015_lsuk

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 40,75
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,91
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

3.

Tennent, R. D.
Editore: Cambridge University Press (2002)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Quantità: > 20
Print on Demand
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2002. PAP. Condizione libro: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria LQ-9780521004015

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 34,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,60
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

R.D. Tennent
Editore: CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2010)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Quantità: 10
Print on Demand
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2010. Paperback. Condizione libro: New. 234 x 154 mm. Language: English . Brand New Book ***** Print on Demand *****. 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. Codice libro della libreria AAV9780521004015

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 45,94
Convertire valuta

Aggiungere al carrello

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

5.

R. D. TENNENT
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Quantità: 1
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro 2002. Paperback. Condizione libro: NEW. 9780521004015 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0439766

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 38,93
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,42
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

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

Descrizione libro Cambridge University Press, 2002. Paperback. Condizione libro: New. book. Codice libro della libreria 0521004012

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 51,67
Convertire valuta

Aggiungere al carrello

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

7.

Tennent, R. D.
Editore: Cambridge University Press (2002)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Quantità: > 20
Print on Demand
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2002. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Codice libro della libreria IQ-9780521004015

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 49,95
Convertire valuta

Aggiungere al carrello

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

8.

R. D. Tennent
Editore: Cambridge University Press 2002-02-25 (2002)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Quantità: 5
Da
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press 2002-02-25, 2002. Condizione libro: New. Brand new book, sourced directly from publisher. Dispatch time is 24-48 hours from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice libro della libreria NU-ING-00911285

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 60,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,52
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

9.

Tennent, R. D.
Editore: Cambridge University Press (2017)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Quantità: 20
Print on Demand
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2017. Paperback. Condizione libro: New. This item is printed on demand. Codice libro della libreria 0521004012

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 62,42
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,74
In U.S.A.
Destinazione, tempi e costi

10.

R. D. Tennent
Editore: Cambridge University Press
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Quantità: 20
Da
BuySomeBooks
(Las Vegas, NV, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. Paperback. Condizione libro: New. Paperback. 302 pages. Dimensions: 9.2in. x 6.1in. x 0.6in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Codice libro della libreria 9780521004015

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 69,27
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro