Introduction to Formal Specification and Z

Valutazione media 0
( su 0 valutazioni fornite da Goodreads )
 
9780134787022: Introduction to Formal Specification and Z
Vedi tutte le copie di questo ISBN:
 
 

Primarily intended as an introduction to the ideas of formal specification, to form part of an undergraduate course in computer science and providing a new approach to the process of software development, based on the work of the Z community at the Programming Research Group at Oxford, the main emphasis of this book is on formal specification. Features include discussions of formal methods of program development from specifications, and management issues involved in the adoption of more formal approaches to software development. It introduces concepts from discrete mathematics which are relevant to formal specification and presents the basic ideas involved in rigorous methods of software development from formal specifications.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description:

Book by Potter Ben Sinclair Jane Till David

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780132422079: Introduction Formal Specification And Z (2nd Edition)

Edizione in evidenza

ISBN 10: 0132422077 ISBN 13: 9780132422079
Casa editrice: Prentice Hall, 1996
Brossura

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

1.

Potter, Ben; Etc.; Sinclair, Jane; Till, David
Editore: Prentice-Hall
ISBN 10: 0134787021 ISBN 13: 9780134787022
Nuovo Quantità: 1
Da
GoldBooks
(Austin, TX, U.S.A.)
Valutazione libreria

Descrizione libro Prentice-Hall. Condizione: new. Codice articolo think0134787021

Informazioni sul venditore | Contattare il venditore

Compra nuovo
EUR 165,40
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi