ISBN: 9781447126447
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 … Meer...
Indigo.ca new in stock. Verzendingskosten:plus shipping costs., exclusief verzendingskosten Details... |
Specification of Software Systems - pocketboek
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 18.46], [PU: Springer London], INFORMATIK EDV SOFTWARE ENGINEERING PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS AND MEANINGS OF PROGRAMS T… Meer...
AbeBooks.it moluna, Greven, Germany [73551232] [Rating: 4 (su 5)] NEW BOOK. Verzendingskosten: EUR 18.46 Details... |
Specification of Software Systems - pocketboek
2013, ISBN: 1447126440
gebonden uitgave
Softcover reprint of hardcover 2nd ed. 2011 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, mit Schutzumschlag 11, [PU:Springer London; Springer-Verlag London Ltd.]
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Specification of Software Systems (Texts in Computer Science) - pocketboek
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 84.84], [PU: Springer], Books
AbeBooks.it Lucky's Textbooks, Dallas, TX, U.S.A. [60577173] [Rating: 5 (su 5)] NEW BOOK. Verzendingskosten: EUR 84.84 Details... |
Rakuten.fr |
Specification of Software Systems - nieuw boek
ISBN: 9781447126447
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 … Meer...
V.S. Alagar|K. Periyasamy:
Specification of Software Systems - pocketboek2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 18.46], [PU: Springer London], INFORMATIK EDV SOFTWARE ENGINEERING PROGRAMMING LANGUAGES, COMPILERS, INTERPRETERS LOGICS AND MEANINGS OF PROGRAMS T… Meer...
Specification of Software Systems - pocketboek
2013
ISBN: 1447126440
gebonden uitgave
Softcover reprint of hardcover 2nd ed. 2011 Kartoniert / Broschiert Software Engineering, Theoretische Informatik, mit Schutzumschlag 11, [PU:Springer London; Springer-Verlag London Ltd.]
Specification of Software Systems (Texts in Computer Science) - pocketboek
2013, ISBN: 1447126440
[EAN: 9781447126447], Libro nuovo, [SC: 84.84], [PU: Springer], Books
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Specification of Software Systems
EAN (ISBN-13): 9781447126447
ISBN (ISBN-10): 1447126440
Gebonden uitgave
pocket book
Verschijningsjaar: 2011
Uitgever: Springer
672 Bladzijden
Gewicht: 0,999 kg
Taal: Englisch
Boek bevindt zich in het datenbestand sinds 2008-12-14T18:36:34+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-22T14:14:13+02:00 (Amsterdam)
ISBN/EAN: 1447126440
ISBN - alternatieve schrijfwijzen:
1-4471-2644-0, 978-1-4471-2644-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 London
646 Bladzijden
Verschijningsjaar: 2013-04-21
London; GB
Gedrukt / Gemaakt in
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XXVI, 646 p.
BC; 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; BB; EA
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
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.)
- Specification of Software Systems (Texts in Computer Science) by V.S. Alagar (2011-04-06)
< naar Archief...