World congress formal methods development (1 Ergebnisse)

World Congress on Formal Methods in the Development of Computing syste/ Woodcock, Jim (Editor)/ Davies, Jim (Editor)/ Goos, G. (Editor)/ Hartmanis, J. (Editor)/ Leeuwen, J. Van (Editor)/ Wing, Jeannette Marie (Editor)/ Wing, Jeannette Marie/ Woodcock, Jim/ Davies, Jim

Sprache: Englisch

Verlag: Springer Verlag, 1999

ISBN 10 / ISBN 13: 3540665889 / 9783540665885

Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books, Exeter, Vereinigtes Königreich