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

IEEE Computer Society

 
9780769508245: 3rd IEEE International Conference on Formal Engineering Methods (Icfem 2000)
Brossura
ISBN 10: 0769508243 ISBN 13: 9780769508245
Casa editrice: I.E.E.E.Press, 2000

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

This text on engineering methods covers topics such as: development; structuring; algebraic approaches; verification; formal and informal notations; retrenchment; theory and practice; and animation.

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

Editore
I.E.E.E.Press
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0769508243
ISBN 13 
9780769508245
Rilegatura
Copertina flessibile
Numero di pagine
222
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