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)
Review:

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)

From the Publisher:

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.

Los mejores resultados en AbeBooks

1.

Alagar, V.S.; Periyasamy, K.
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 77,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,31
De Reino Unido a España
Destinos, gastos y plazos de envío

2.

Alagar, V.S.; Periyasamy, K.
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 86,78
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,32
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Alagar, V.S.; Periyasamy, K.
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 87,19
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,26
De Reino Unido a España
Destinos, gastos y plazos de envío

4.

Alagar, V.S.; Periyasamy, K.
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 99,42
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,88
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

5.

Alagar, V.S.; Periyasamy, K.
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 95,42
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 13,09
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

6.

Alagar, V.S.; Periyasamy, K.
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 115,03
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

Alagar, V.S.; Periyasamy, K.
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 115,71
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a España
Destinos, gastos y plazos de envío

8.

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 104,44
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 35,54
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

9.

Alagar, V.S.; Periyasamy, K.
Editorial: Springer
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Springer. Hardcover. Estado de conservación: New. Hardcover. 718 pages. Dimensions: 9.4in. x 6.4in. x 1.7in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Hardcover. Nº de ref. de la librería 9780857292766

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

Comprar nuevo
EUR 143,49
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 12,11
De Estados Unidos de America a España
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
Book Deals
(Lewiston, NY, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2011. Estado de conservación: New. Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Revised and updated, 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. The text covers a wide range of formal specification techniques. Nº de ref. de la librería ABE_book_new_0857292765

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

Comprar nuevo
EUR 147,28
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 70,14
De Estados Unidos de America a España
Destinos, gastos y plazos de envío