Articoli correlati a Introductory Logic and Formal Methods
Sinossi
Formal methods are becoming of increasing importance, and are now part of most computer science courses. This book covers the core requirements of logic and predicate calculus for computer scientists, and introduces the formal specification language Z. The emphasis in any formal specification language is on rigour. The production of high-integrity software demands correct, accurate and precise software specification. Using the English language to specify software requirements allows the possibility of ambigiuty as the same word can be interpreted in different ways by different people. Formal methods of specification, which rely heavily on mathematics and logic have been developed to provide a framework allowing precise software specification. Computer scientists must therefore be familiar with the rudiments of logic and discrete mathematics, topics which are covered in this book. The computer language Z is used for much formal specification. This book introduces Z, and explains how it can be used effectively in the precise and concise description of systems and the specification of software for those systems.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Introductory Logic and Formal Methods
Foto dell'editore
Introductory Logic and Formal Methods
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In fair condition, suitable as a study copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9781872474106. Codice articolo 9096842
Quantità: 1 disponibili
Foto dell'editore
Introductory Logic and Formal Methods
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-T-008-02234
Quantità: 1 disponibili
Foto dell'editore
Introductory Logic and Formal Methods
Da: AwesomeBooks, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Introductory Logic and Formal Methods This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 7719-9781872474106
Quantità: 1 disponibili
Foto dell'editore
Introductory Logic and Formal Methods
Da: Bahamut Media, Reading, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Codice articolo 6545-9781872474106
Quantità: 1 disponibili