Formal description techniques IX : theory, application and tools : IFIP TC6/6.1 International Confer - detaljert visning

Formal description techniques IX : theory, application and tools : IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996

FORTE '96
Bok Engelsk 1996


Utgitt	London : Published by Chapman & Hall on behalf of the International Federation for Information Processing , 1996
Omfang	VII, 516 s. : ill.
Opplysninger	"... joint edition of the Ninth International Conference on Formal Description Techniques (FDTs) and the Sixteenth International Conference on Protocol Specification, Testing and Verification" - Forordet.
Emner	Formelle språk
ISBN	041279490X