- 5 Results
Lowest price: € 41.31, highest price: € 93.95, average price: € 65.08
1
Specification of Software Systems - V. S. Alagar
Order
at booklooker.de
€ 93.95
Shipment: € 0.001
Order
Provider details
Sponsored link
V. S. Alagar:

Specification of Software Systems - new book

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… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) buchversandmimpf2000
close (x)
2
Specification of Software Systems - Alagar, V. S. Periyasamy, K.
Order
at amazon.it
€ 69.96
Shipment: € 5.501
Order
Provider details
Sponsored link

Alagar, V. S. Periyasamy, K.:

Specification of Software Systems - used book

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… More...

Shipping costs:Le spese di spedizione possono differire dai costi effettivi. (EUR 5.50)
close (x)
3
Specification of Software Systems - V.S. Alagar|K. Periyasamy
Order
at AbeBooks.de
€ 77.17
Shipment: € 0.001
Order
Provider details
Sponsored link
V.S. Alagar|K. Periyasamy:
Specification of Software Systems - hardcover

2011

ISBN: 0857292765

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

NEW BOOK. Shipping costs:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 4 (von 5)]
close (x)
4
Specification of Software Systems (Texts in Computer Science) - Alagar, V.S. Periyasamy, K.
Order
at amazon.de
€ 41.31
Shipment: € 3.001
Order
Provider details
Sponsored link
Alagar, V.S. Periyasamy, K.:
Specification of Software Systems (Texts in Computer Science) - hardcover

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… More...

Shipping costs:Auf Lager. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) ausverkauf
close (x)
5
Specification of Software Systems - Alagar, V.S. und K. Periyasamy
Order
at ZVAB.com
CHF 40.62
(aprox. € 43.02)
Shipment: € 8.421
Order
Provider details
Sponsored link
Alagar, V.S. und K. Periyasamy:
Specification of Software Systems - hardcover

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. Shipping costs: EUR 8.42 Buchpark, Trebbin, Germany [83435977] [Rating: 5 (su 5)]
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Specification of Software Systems (Texts in Computer Science)
Author:
Title:
ISBN:

9780857292766


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.

Details of the book - Specification of Software Systems (Texts in Computer Science)


EAN (ISBN-13): 9780857292766
ISBN (ISBN-10): 0857292765
Hardcover
Publishing year: 2011
Publisher: Springer
644 Pages
Weight: 1,123 kg
Language: eng/Englisch

Book in our database since 2009-04-13T18:12:36+01:00 (London)
Detail page last modified on 2023-10-22T13:14:13+01:00 (London)
ISBN/EAN: 9780857292766

ISBN - alternate spelling:
0-85729-276-5, 978-0-85729-276-6
Alternate spelling and related search-keywords:
Book title: specification software systems

Information from Publisher

Author: V.S. Alagar; K. Periyasamy
Title: Texts in Computer Science; Specification of Software Systems
Publisher: Springer; Springer London
646 Pages
Publishing year: 2011-03-28
London; GB
Printed / Made in
Language: English
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
< to archive...