Integrated formal methods: second international conference, ifm 2000, dagstuhl castle, germany, november 1-3, 2000 proceedings
Auteur :
Grieskamp, Wolfgang
ISBN :
9783540411963
Date de publication :
18 oct. 2000
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This title presents topical sections on computer science, linking and extending notations, methodology, foundation of one formalism by another, semantics and verification and validation. It is intended for use by compilers, interpreters, and software engineering researchers and professionals.