Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference - Brossura

IEEE International Conference On Formal Engineering Methods (3rd : 2000 : York, England)

 
9780769508221: Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference
Brossura
ISBN 10: 0769508227 ISBN 13: 9780769508221
Casa editrice: IEEE, 2001

Sinossi

Invited speakers explore the use of mathematics in software engineering, legacy code, and challenges and results of offering formal verification capabilities for industry standard case tools. The other 19 papers cover development, structuring, algebraic approaches, verification, formal and informal notations, retrenchment, the theory and practice of Z, and animation. There is no subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

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

Editore
IEEE
Data di pubblicazione
2001
Lingua
Inglese
ISBN 10 
0769508227
ISBN 13 
9780769508221
Rilegatura
Copertina flessibile
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9780769508238: Formal Engineering Methods (Icfem 2000), 3rd IEEE International Conference on

Edizione in evidenza

ISBN 10:  0769508235 ISBN 13:  9780769508238
Brossura