ISBN: 9780387984308
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages… Altro …
Orellfuessli.ch No. 1882249. Costi di spedizione:Zzgl. Versandkosten. (EUR 15.99) Details... |
ISBN: 9780387984308
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages… Altro …
Thalia.de No. 1882249. Costi di spedizione:, Lieferbar innerhalb von 6 Wochen, DE. (EUR 0.00) Details... |
1998, ISBN: 0387984305
[EAN: 9780387984308], Usato, buono stato, [SC: 7.4], [PU: Springer], COMPUTING, This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback … Altro …
AbeBooks.it Anybook.com, Lincoln, United Kingdom [312675] [Rating: 5 (su 5)] NOT NEW BOOK. Costi di spedizione: EUR 7.40 Details... |
1998, ISBN: 0387984305
[EAN: 9780387984308], Usato, ottimo stato, [SC: 17.86], [PU: Springer], Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear… Altro …
ZVAB.com Better World Books, Mishawaka, IN, U.S.A. [51315977] [Rating: 5 (su 5)] NOT NEW BOOK. Costi di spedizione: EUR 17.86 Details... |
1998, ISBN: 0387984305
[EAN: 9780387984308], Libro nuovo, [SC: 40.19], [PU: Springer], Books
AbeBooks.it The Book Spot, Sioux Falls, SD, U.S.A. [1480660] [Rating: 4 (su 5)] NEW BOOK. Costi di spedizione: EUR 40.19 Details... |
ISBN: 9780387984308
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages… Altro …
ISBN: 9780387984308
This book provides an introduction to program specification, illustrating the advantages it confers upon the software development process. Covering all three major specification languages… Altro …
1998
ISBN: 0387984305
[EAN: 9780387984308], Usato, buono stato, [SC: 7.4], [PU: Springer], COMPUTING, This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback … Altro …
1998, ISBN: 0387984305
[EAN: 9780387984308], Usato, ottimo stato, [SC: 17.86], [PU: Springer], Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear… Altro …
1998, ISBN: 0387984305
[EAN: 9780387984308], Libro nuovo, [SC: 40.19], [PU: Springer], Books
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Specification of Software Systems
EAN (ISBN-13): 9780387984308
ISBN (ISBN-10): 0387984305
Copertina rigida
Anno di pubblicazione: 1998
Editore: Springer
Libro nella banca dati dal 2008-01-31T10:52:39+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-22T14:14:13+02:00 (Zurich)
ISBN/EAN: 9780387984308
ISBN - Stili di scrittura alternativi:
0-387-98430-5, 978-0-387-98430-8
Stili di scrittura alternativi e concetti di ricerca simili:
Titolo del libro: computer systems, system verlag, specification software systems
Dati dell'editore
Autore: V.S. Alagar; K. Periyasamy
Titolo: Texts in Computer Science; Specification of Software Systems
Editore: Springer; Springer US
422 Pagine
Anno di pubblicazione: 1998-09-28
New York; NY; US
Peso: 2,350 kg
Lingua: Inglese
85,59 € (DE)
87,99 € (AT)
106,60 CHF (CH)
Not available, publisher indicates OP
BB; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Mathematica; formal method; development; software development; software engineering; Vienna Development Method; language; Z notation; formal methods; formal specification; software; logic; C; Software Engineering; Computer Science; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Programmier- und Skriptsprachen, allgemein; Compiler und Übersetzer; Computerprogrammierung und Softwareentwicklung; Rechnerarchitektur und Logik-Entwurf; BB; BC; EA
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.
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9780857292766 Specification of Software Systems (Texts in Computer Science) (Alagar, V.S. Periyasamy, K.)
< Per archiviare...