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… mais…
| booklooker.de buchversandmimpf2000 Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
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… mais…
| amazon.it Custos de envio:Le spese di spedizione possono differire dai costi effettivi. (EUR 5.50) Details... |
2011, ISBN: 0857292765
[EAN: 9780857292766], Neubuch, [PU: Springer London], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING PROGRAMMIERSPRACHEN INFORMATIK PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS … mais…
| AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Custos de envio:Versandkostenfrei. (EUR 0.00) Details... |
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… mais…
| amazon.de ausverkauf Custos de envio:Auf Lager. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) Details... |
2011, ISBN: 0857292765
[EAN: 9780857292766], Usato, buono stato, [SC: 8.42], [PU: Springer London], Gepflegter, sauberer Zustand. 2. Auflage. 10030047/2, Books
| ZVAB.com Buchpark, Trebbin, Germany [83435977] [Rating: 5 (su 5)] NOT NEW BOOK. Custos de envio: EUR 8.42 Details... |
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… mais…
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… mais…
2011
ISBN: 0857292765
[EAN: 9780857292766], Neubuch, [PU: Springer London], EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING PROGRAMMIERSPRACHEN INFORMATIK PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS … mais…
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… mais…
2011, ISBN: 0857292765
[EAN: 9780857292766], Usato, buono stato, [SC: 8.42], [PU: Springer London], Gepflegter, sauberer Zustand. 2. Auflage. 10030047/2, Books
Dados bibliográficos do melhor livro correspondente
| Autor: | |
| Título: | |
| Número ISBN: |
Dados detalhados do livro - Specification of Software Systems (Texts in Computer Science)
EAN (ISBN-13): 9780857292766
ISBN (ISBN-10): 0857292765
Livro de capa dura
Ano de publicação: 2011
Editor/Editora: Springer
644 Páginas
Peso: 1,123 kg
Língua: eng/Englisch
Livro na base de dados desde 2009-04-13T18:12:36+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2023-10-22T13:14:13+01:00 (Lisbon)
Número ISBN/EAN: 9780857292766
Número ISBN - Ortografia alternativa:
0-85729-276-5, 978-0-85729-276-6
Ortografia alternativa e termos de pesquisa relacionados:
Título do livro: specification software systems
Dados da editora
Autor: V.S. Alagar; K. Periyasamy
Título: Texts in Computer Science; Specification of Software Systems
Editora: Springer; Springer London
646 Páginas
Ano de publicação: 2011-03-28
London; GB
Impresso / Feito em
Língua: 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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9780857292773 Specification of Software Systems (V.S. Alagar; K. Periyasamy)
- 9780857292773 Specification of Software Systems (V.S. Alagar; K. Periyasamy)
- 9780387984308 Specification of Software Systems (Alagar, V. S., Periyasamy, K.)
- 9781447126447 Specification of Software Systems (V.S. Alagar|K. Periyasamy)
- Specification of Software Systems (Texts in Computer Science) by V.S. Alagar (2011-04-06)
< Para arquivar...