Articoli correlati a Specifying Software: A Hands-On Introduction

Specifying Software: A Hands-On Introduction - Brossura

 
9780521004015: Specifying Software: A Hands-On Introduction
Vedi tutte le copie di questo ISBN:
 
 
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.

  • EditoreCambridge University Press
  • Data di pubblicazione2010
  • ISBN 10 0521004012
  • ISBN 13 9780521004015
  • RilegaturaCopertina flessibile
  • Numero di pagine302

Altre edizioni note dello stesso titolo

9780521808149: Specifying Software: A Hands-On Introduction

Edizione in evidenza

ISBN 10:  ISBN 13:  9780521808149
Casa editrice: Cambridge University Press, 2002
Rilegato

  • 9781405156691: The Wiley-blackwell Encyclopedia of Eighteenth-century Writers and Writing 1660 - 1789

    Blackw..., 2011
    Rilegato

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Tennent, R. D.
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
Brook Bookstore On Demand
(Napoli, NA, Italia)
Valutazione libreria

Descrizione libro Condizione: new. Questo è un articolo print on demand. Codice articolo b1f5163902a6b17e0666499999a4cb4d

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 44,02
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,60
In Italia
Destinazione, tempi e costi
Foto dell'editore

R.D. Tennent
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Paperback / softback Quantità: 5
Print on Demand
Da:
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria

Descrizione libro Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780521004015

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 47,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,28
Da: Regno Unito a: Italia
Destinazione, tempi e costi
Foto dell'editore

R. D. Tennent
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Brossura Quantità: 15
Print on Demand
Da:
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria

Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780521004015_lsuk

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 50,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,49
Da: Regno Unito a: Italia
Destinazione, tempi e costi
Immagini fornite dal venditore

Tennent, R. D.
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
moluna
(Greven, Germania)
Valutazione libreria

Descrizione libro Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 programm. Codice articolo 446920354

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 50,89
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,99
Da: Germania a: Italia
Destinazione, tempi e costi
Foto dell'editore

R. D. Tennent
Editore: Cambridge Univ Pr (2002)
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Paperback Quantità: 1
Da:
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria

Descrizione libro Paperback. Condizione: Brand New. 250 pages. 9.25x6.00x1.00 inches. In Stock. Codice articolo __0521004012

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 45,72
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,50
Da: Regno Unito a: Italia
Destinazione, tempi e costi
Foto dell'editore

Tennent, R. D.
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Paperback Quantità: 1
Da:
Wizard Books
(Long Beach, CA, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. New. Codice articolo Wizard0521004012

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 39,66
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 28,21
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Foto dell'editore

R. D. Tennent
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Paperback Quantità: 10
Da:
Chiron Media
(Wallingford, Regno Unito)
Valutazione libreria

Descrizione libro Paperback. Condizione: New. Codice articolo 6666-IUK-9780521004015

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 45,34
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 22,74
Da: Regno Unito a: Italia
Destinazione, tempi e costi
Foto dell'editore

Tennent, R. D.
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Paperback Quantità: 1
Da:
GoldBooks
(Austin, TX, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo think0521004012

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 42,47
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 28,67
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Foto dell'editore

Tennent, R. D.
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Paperback Quantità: 1
Da:
GoldenWavesOfBooks
(Fayetteville, TX, U.S.A.)
Valutazione libreria

Descrizione libro Paperback. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_0521004012

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 38,77
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 36,07
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Foto dell'editore

Tennent, R. D.
ISBN 10: 0521004012 ISBN 13: 9780521004015
Nuovo Brossura Quantità: > 20
Da:
California Books
(Miami, FL, U.S.A.)
Valutazione libreria

Descrizione libro Condizione: New. Codice articolo I-9780521004015

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 72,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 9,25
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro