Articoli correlati a Systems Construction and Analysis: A Mathematical and...
This text provides the discrete mathematics needed as a rigorous foundation for the construction and analysis of application systems. Construction involves development within formal linguistic systems and analysis involves external assessment and measurement. The foundation provided by this book allows for many applications to be discussed in detail. A gentle introduction to discrete mathematics and formal systems allows a gradual pace of learning for the student and examines ideas before giving a serious exposition of mathematical logic that emphasizes the link between theories in formal languages and their models. The major programming paradigms are linked to approaches to specification and verified by the axiomatic method. This book is aimed at second and third year undergraduates, as well as MSc computing students.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
- EditoreMcGraw-Hill Book Co Ltd
- Data di pubblicazione1992
- ISBN 10 0077074319
- ISBN 13 9780077074319
- RilegaturaCopertina flessibile
- Numero di pagine448
Compra usato
Condizioni: molto buonoSystems Construction and Analysis... Scopri di più su questo articolo
EUR 4,21
Spese di spedizione:
EUR 5,24
Da: Regno Unito a: U.S.A.
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Systems Construction and Analysis: A Mathematical and Logical Framework (Mcgraw-Hill International Series in Software Engineering)
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: Very Good. Systems Construction and Analysis: A Mathematical and Logical Framework (Mcgraw-Hill International Series in Software Engineering) 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-9780077074319
Compra usato
EUR 4,21
Convertire valuta
Foto dell'editore
Systems Construction and Analysis: A Mathematical and Logical Framework (McGraw-Hill International Series in Software Engineering)
Editore:
McGraw-Hill Publishing Co.
(1992)
ISBN 10: 0077074319
ISBN 13: 9780077074319
Antico o usato
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Codice articolo CHL9086398
Compra usato
EUR 2,56
Convertire valuta
Foto dell'editore
Systems Construction and Analysis: A Mathematical and Logical Framework (Mcgraw-Hill International Series in Software Engineering)
Da:
Valutazione libreria
Descrizione libro 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-9780077074319
Compra usato
EUR 4,21
Convertire valuta
Foto dell'editore
Systems Construction and Analysis: A Mathematical and Logical Framework (McGraw-Hill International Series in Software Engineering)
Editore:
McGraw-Hill Book Co Ltd
(1992)
ISBN 10: 0077074319
ISBN 13: 9780077074319
Antico o usato
Paperback
Quantità: 1
Da:
Valutazione libreria
Descrizione libro Paperback. Condizione: Like New. Like New. book. Codice articolo D7F9-0-M-0077074319-6
Compra usato
EUR 54,65
Convertire valuta