Articoli correlati a Verifiable Programming

Verifiable Programming - Brossura

Dahl, Ole-Johan

 
9780139510625: Verifiable Programming
Brossura
ISBN 10: 0139510621 ISBN 13: 9780139510625
Casa editrice: Prentice Hall, 1992

Sinossi

This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.

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

Product Description

Book by Dahl OleJohan

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

Editore
Prentice Hall
Data di pubblicazione
1992
Lingua
Inglese
ISBN 10 
0139510621
ISBN 13 
9780139510625
Rilegatura
Copertina flessibile
Numero di pagine
280
Contatto del produttore
non disponibile
Persona responsabile
Yeepin GmbH
492000000000
sunshine12232@outlook.com

Alleestr.11
Kaiserslautern
Rheinland-Pfalz
67655
Germania