2013, ISBN: 9781475729207
eBooks, eBook Download (PDF), This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim … Meer...
lehmanns.de Verzendingskosten:Download sofort lieferbar. (EUR 13.95) Details... |
ISBN: 9781475729207
This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fu… Meer...
Springer.com Nr. 978-1-4757-2920-7. Verzendingskosten:Worldwide free shipping, , spese di spedizione aggiuntive., exclusief verzendingskosten Details... |
ISBN: 9781475729207
Specification of Software Systems: ab 85.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer New York eBook als pdf, Springer New York
eBook.de Verzendingskosten:in stock, , , spese di spedizione aggiuntive., exclusief verzendingskosten Details... |
ISBN: 9781475729207
; PDF \ Wim Feijen; Computing > Operating systems, Springer New York
hive.co.uk No. 9781475729207 Verzendingskosten:Instock, Despatched same working day before 3pm, plus shipping costs, exclusief verzendingskosten Details... |
2013, ISBN: 9781475729207
eBook Download (PDF), eBooks, [PU: Springer]
lehmanns.de Verzendingskosten:Download sofort lieferbar, , No shipping costs within Germany (EUR 0.00) Details... |
2013, ISBN: 9781475729207
eBooks, eBook Download (PDF), This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim … Meer...
ISBN: 9781475729207
This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fu… Meer...
ISBN: 9781475729207
Specification of Software Systems: ab 85.49 € eBooks > Sachthemen & Ratgeber > Computer & Internet Springer New York eBook als pdf, Springer New York
ISBN: 9781475729207
; PDF \ Wim Feijen; Computing > Operating systems, Springer New York
2013, ISBN: 9781475729207
eBook Download (PDF), eBooks, [PU: Springer]
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Specification of Software Systems
EAN (ISBN-13): 9781475729207
Verschijningsjaar: 2013
Uitgever: Springer New York
Boek bevindt zich in het datenbestand sinds 2016-05-15T03:56:47+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-22T14:14:13+02:00 (Amsterdam)
ISBN/EAN: 9781475729207
ISBN - alternatieve schrijfwijzen:
978-1-4757-2920-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Titel van het boek: specification software systems
Gegevens van de uitgever
Auteur: V.S. Alagar; K. Periyasamy
Titel: Texts in Computer Science; Specification of Software Systems
Uitgeverij: Springer; Springer US
422 Bladzijden
Verschijningsjaar: 2013-03-14
New York; NY; US
Taal: Engels
85,59 € (DE)
88,00 € (AT)
106,50 CHF (CH)
Available
XX, 422 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Software Engineering; Verstehen; Mathematica; Vienna Development Method; Z notation; development; formal method; formal methods; formal specification; language; logic; software; software development; software engineering; C; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Computer Science; Compiler und Übersetzer; Theoretische Informatik; BC
1 The Role of Specification.- 2 Specification Activities.- 3 Specification Qualities.- 4 Abstraction.- 5 Formal Systems.- 6 Logic.- 7 Set Theory and Relations.- 8 Algebraic Specification.- 9 Vienna Development Method.- 10 The Z Notation.- 11 Larch.This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may their first encounter with formal specification. It is based on graduate courases and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z in some depth. Consequently, readers will be able to select a formal method that best suits their needs and application.
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780857292773 Specification of Software Systems (V.S. Alagar; K. Periyasamy)
- 9780857292773 Specification of Software Systems (V.S. Alagar; K. Periyasamy)
- 9780857292766 Specification of Software Systems (Texts in Computer Science) (Alagar, V.S. Periyasamy, K.)
- 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)
< naar Archief...