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.

Book Description:

'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

Book Description:

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.

Tennent, R. D.
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,38
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, 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,38
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
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 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 45,38
Convertire valuta

Aggiungere al carrello

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

4.

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,98
Convertire valuta

Aggiungere al carrello

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

5.

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 43,87
Convertire valuta

Aggiungere al carrello

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

6.

Tennent, R. D.
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 39,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,47
Da: Regno Unito a: 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
(Secaucus, NJ, 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 I2-9780521004015

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 50,54
Convertire valuta

Aggiungere al carrello

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

8.

Tennent, R. D.
Editore: Cambridge University Press (2002)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi Paperback Prima edizione Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press, 2002. Paperback. Condizione libro: New. 1St Edition. Codice libro della libreria DADAX0521004012

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,42
Convertire valuta

Aggiungere al carrello

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

9.

Tennent, R. D.
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,75
Convertire valuta

Aggiungere al carrello

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

10.

Tennent, R. D.
Editore: Cambridge University Press
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovi PAPERBACK Quantità: 1
Da
Cloud 9 Books
(West Palm Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Cambridge University Press. PAPERBACK. Condizione libro: New. 0521004012 New Condition. Codice libro della libreria NEW4.0271278

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 67,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,64
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro