Specification of Software Systems (Texts in Computer Science)

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9780857292766: Specification of Software Systems (Texts in Computer Science)

Book by Alagar VS Periyasamy K

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas:

From the reviews of the second edition: "It covers a lot of material, and various subsets of the book may be used - as proposed by the authors - for different course offerings, from undergraduate to advanced graduate levels, as well as a reference for practitioners ... . Bibliographical notes (usually very good) and exercises are included at the end of each chapter. ... Summing up, this is a good and useful book on a very important topic ... ." (Haim Kilov, Zentralblatt MATH, Vol. 1243, 2012) "This software engineering book introduces software specifications. It presents basic mathematics typically used in formal methods and describes various existing formal specification languages and methods. It also demonstrates how to write specifications using examples taken from real-life software systems. ... Each chapter has exercises, bibliographic notes, and a list of references. ... Courses that cover software specifications can use either specific chapters or the complete text. The book can also serve as a reference on software specifications." (Maulik A. Dave, ACM Computing Reviews, February, 2012)

Reseña del editor:

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 9,16
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

V.S. ALAGAR
Editorial: Springer (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer, 2011. Hardback. Estado de conservación: NEW. 9780857292766 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0286357

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 76,68
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,16
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Alagar, V.S.
Editorial: Springer (2016)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780857292766_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 85,88
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,43
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

V. S. Alagar
Editorial: Springer London Ltd (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, 2011. HRD. Estado de conservación: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Nº de ref. de la librería IP-9780857292766

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 81,64
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,31
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

V. S. Alagar
Editorial: Springer London Ltd (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer London Ltd, 2011. HRD. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IP-9780857292766

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 95,08
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,57
A Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Alagar, V.S.
Editorial: Springer (2017)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2017. Hardcover. Estado de conservación: New. This item is printed on demand. Nº de ref. de la librería 0857292765

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 104,50
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,67
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

V. S. Alagar, K. Periyasamy
Editorial: Springer London Ltd, United Kingdom (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, United Kingdom, 2011. Hardback. Estado de conservación: New. 2nd ed. 2011. 239 x 163 mm. Language: English . Brand New Book ***** Print on Demand *****.This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects. Nº de ref. de la librería APC9780857292766

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 109,19
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

7.

V. S. Alagar, K. Periyasamy
Editorial: Springer London Ltd, United Kingdom (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 10
Impresión bajo demanda
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Springer London Ltd, United Kingdom, 2011. Hardback. Estado de conservación: New. 2nd ed. 2011. 239 x 163 mm. Language: English . Brand New Book ***** Print on Demand *****. This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects. Nº de ref. de la librería APC9780857292766

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 110,71
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

8.

V.S. Alagar; K. Periyasamy
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
BWB
(Valley Stream, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. This item is Print on Demand - Depending on your location, this item may ship from the US or UK. Nº de ref. de la librería POD_9780857292766

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 117,44
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

V.S. Alagar, K. Periyasamy
Editorial: Springer (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 1
Impresión bajo demanda
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2011. Hardcover. Estado de conservación: New. 2nd ed. 2011. This item is printed on demand. Nº de ref. de la librería DADAX0857292765

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 116,08
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,57
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Alagar, V.S.; Periyasamy, K.
Editorial: Springer (2011)
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2011. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería 0857292765

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 129,04
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda