- 5 Resultados
precio mínimo: € 41,31, precio máximo: € 93,95, precio promedio: € 65,08
1
Specification of Software Systems - V. S. Alagar
Pedir
por booklooker.de
€ 93,95
Envío: € 0,001
PedirEnlace patrocinado
V. S. Alagar:

Specification of Software Systems - libro nuevo

ISBN: 9780857292766

[ED: Buch], [PU: Springer London Ltd], Neuware - This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specifica… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buchversandmimpf2000
2
Specification of Software Systems - Alagar, V. S. Periyasamy, K.
Pedir
por amazon.it
€ 69,96
Envío: € 5,501
PedirEnlace patrocinado

Alagar, V. S. Periyasamy, K.:

Specification of Software Systems - libro usado

2011, ISBN: 9780857292766

Springer-Nature New York Inc, Copertina rigida, Auflage: 2, 644 Seiten, Publiziert: 2011-03-28T00:00:01Z, Produktgruppe: Libro, Hersteller-Nr.: Illustrated, 5.4 kg, Programmazione, Inform… Más…

Gastos de envío:Le spese di spedizione possono differire dai costi effettivi. (EUR 5.50)
3
Specification of Software Systems - V.S. Alagar|K. Periyasamy
Pedir
por AbeBooks.de
€ 77,17
Envío: € 0,001
PedirEnlace patrocinado
V.S. Alagar|K. Periyasamy:
Specification of Software Systems - encuadernado, tapa blanda

2011

ISBN: 0857292765

[EAN: 9780857292766], Neubuch, [PU: Springer London], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING PROGRAMMIERSPRACHEN INFORMATIK PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS … Más…

NEW BOOK. Gastos de envío:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
4
Specification of Software Systems (Texts in Computer Science) - Alagar, V.S. Periyasamy, K.
Pedir
por amazon.de
€ 41,31
Envío: € 3,001
PedirEnlace patrocinado
Alagar, V.S. Periyasamy, K.:
Specification of Software Systems (Texts in Computer Science) - encuadernado, tapa blanda

2011, ISBN: 9780857292766

Springer, Gebundene Ausgabe, Auflage: 2nd ed. 2011, 672 Seiten, Publiziert: 2011-03-28T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrated, 2.45 kg, Informatik, IT-Ausbildung & -B… Más…

Gastos de envío:Auf Lager. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) ausverkauf
5
Specification of Software Systems - Alagar, V.S. und K. Periyasamy
Pedir
por ZVAB.com
CHF 40,62
(aprox. € 43,02)
Envío: € 8,421
PedirEnlace patrocinado
Alagar, V.S. und K. Periyasamy:
Specification of Software Systems - encuadernado, tapa blanda

2011, ISBN: 0857292765

[EAN: 9780857292766], Usato, buono stato, [SC: 8.42], [PU: Springer London], Gepflegter, sauberer Zustand. 2. Auflage. 10030047/2, Books

NOT NEW BOOK. Gastos de envío: EUR 8.42 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (su 5)]

1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
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.

Detalles del libro - Specification of Software Systems (Texts in Computer Science)


EAN (ISBN-13): 9780857292766
ISBN (ISBN-10): 0857292765
Tapa dura
Año de publicación: 2011
Editorial: Springer
644 Páginas
Peso: 1,123 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2009-04-13T19:12:36+02:00 (Madrid)
Página de detalles modificada por última vez el 2023-10-22T14:14:13+02:00 (Madrid)
ISBN/EAN: 9780857292766

ISBN - escritura alterna:
0-85729-276-5, 978-0-85729-276-6
Mode alterno de escritura y términos de búsqueda relacionados:
Título del libro: specification software systems


Datos del la editorial

Autor: V.S. Alagar; K. Periyasamy
Título: Texts in Computer Science; Specification of Software Systems
Editorial: Springer; Springer London
646 Páginas
Año de publicación: 2011-03-28
London; GB
Impreso en
Idioma: Inglés
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XXVI, 646 p.

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Compiler und Übersetzer; Theoretische Informatik; BC

Part I: Specification Fundamentals.- The Role of Specification.- Specification Activities.- Specification Qualities.- Abstraction.-Part II: Formalism Fundamentals.- Formal Systems.- Automata.- Extended Finite State Machine.- Classification of Formal Specification Methods.-Part III: Logic.- Propositional Logic.- Predicate Logic.- Temporal Logic.- Part IV: Mathematical Abstractions for Model-based Specifications.- Set Theory and Relations.- Part V: Property-oriented Specifications.- Algebraic Specification.- Larch.- Calculus of Communicating Systems.- Part VI: Model-based Specifications.- Vienna Development Method.- The Z Notation.- The Object-Z Specification Language.- The B-Method.
Extensively revised and updated, with a considerable amount of new content included to cater to the growing needs of students and researchers Provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading Contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the preface Includes supplementary material: sn.pub/extras

< para archivar...