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)

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.

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

From the Back Cover:

Recent advances in software specification methods, model checking, and theorem proving have generated new tools for the use of formal methods in both industry and academia. Yet, in order to choose the techniques most appropriate for a specific application, it is necessary to have a good understanding and expertise in formal methods. Software engineers now have several case studies to learn from, and are able to choose from a large selection of languages and methods, with a rich repertoire of appropriate concepts for their intended applications.

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. This expanded perspective is matched by a considerable amount of new content, included to cater to the growing needs of students and researchers in the area of formal software engineering. Topics related to the integration of formal methods in the software development process are introduced early, and are followed by presentations of principles of abstraction, definitions of formalism, notations of formalism, and a wide variety of detailed specification examples. This additional material is further reflected in the new structure of the second edition, which is now arranged in six parts.

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 (NEW)
  • 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 (NEW)
  • Offers material that can be taught with tool-supported laboratory projects

This comprehensive textbook is essential reading for students at all levels in computer science, software engineering, computer engineering, and information systems engineering. Software professionals wishing to familiarize themselves with formal methods will also find this an invaluable reference.

Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada. Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.

About the Author:

Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada.

Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.

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

Comprar nuevo Ver libro

Gastos de envío: EUR 8,96
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 74,96
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,96
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 80,29
Convertir moneda

Añadir al carrito

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

3.

Alagar, V. S.
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 78,18
Convertir moneda

Añadir al carrito

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

4.

Alagar, V. S.
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 90,23
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,39
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: > 20
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. Never used! 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 93,78
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,69
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. 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 101,79
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 (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 100,11
Convertir moneda

Añadir al carrito

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

8.

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. 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 104,69
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

9.

K. Periyasamy
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 121,49
Convertir moneda

Añadir al carrito

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

10.

Alagar, V.S.; Periyasamy, K.
Editorial: Springer
ISBN 10: 0857292765 ISBN 13: 9780857292766
Nuevos Tapa dura Cantidad: > 20
Librería
Russell Books
(Victoria, BC, Canada)
Valoración
[?]

Descripción Springer. Hardcover. Estado de conservación: New. 0857292765 Special order direct from the distributor. Nº de ref. de la librería ING9780857292766

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

Comprar nuevo
EUR 116,84
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,94
De Canada 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