Interactive Systems. Design, Specification, and Verification
Interactive Systems. Design, Specification, and Verification
15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Graham, T. C. Nicholas; Palanque, Philippe
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
07/2008
314
Mole
Inglês
9783540705680
15 a 20 dias
504