Sinossi
This introductory text demonstrates how formal methods allow the more accurate specification and design of software systems. The book explains what formal methods are; why we need them; what should motivate our choice of methods; and how to use them effectively. Its overview of the different styles of formal notation is used as a framework for a more detailed discussion of VDM and Z, based on the latest draft standards of these languages. Exercises (and their solutions) and an extensive glossary are also included as teaching aids.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Formal Methods Fact File: VDM and Z
Foto dell'editore
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Acceptable. Used - Acceptable. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library with wear and barcode page may have been removed. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-B-028-01832
Compra usato
EUR 116,68
Spedizione EUR 12,30
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Da: Phatpocket Limited, Waltham Abbey, HERTS, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Codice articolo Z1-B-031-01697
Compra usato
EUR 116,68
Spedizione EUR 12,30
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods Fact File: VDM and Z (Wiley Series in Software Engineering Practice)
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_346798065
Compra usato
EUR 168,19
Spedizione EUR 3,18
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Formal Methods Fact File: Vdm and Z (Wiley Series in Software Engineering Practice)
Editore:
John Wiley & Sons Ltd, 1996
ISBN 10: 0471940062
ISBN 13: 9780471940067
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut | Seiten: 386 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Codice articolo 38615802/3
Compra usato
EUR 77,18
Spedizione EUR 105,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili