Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : Revised Selected Papers /

Selección de ponencias presentadas en tercer Taller Internacional sobre Método y Lenguaje Formal Estructurado Orientado a Objetos, celebrado en Queenstown, Nueva Zelanda, en octubre de 2013. Los artículos están organizados en secciones temáticas sobre pruebas y verificación, simulación y verificació...

Whakaahuatanga katoa

Ngā taipitopito rārangi puna kōrero

Kaituhi rangatōpū:	International Workshop on Structured Object-Oriented Formal Language and Method ( Queenstown, Nueva Zelanda)
Ētahi atu kaituhi:	Liu, Shaoying (edición) (edición), Duan, Zhenhua (edición) (edición)
Hōputu:	Mauhanga Hui Pukapuka
Reo:	Ingarihi
I whakaputaina:	Cham, Suiza : Springer, 2014, c2014
Rangatū:	(Lecture Notes in Computer Science ; 8332)
Ngā marau:	Modelos Matemáticos Métodos de Simulación Lenguajes de Programación Lenguajes Formales Paquetes (Software) - > Prueba y Medición Programación Orientada a Objetos - > Tema Principal Programación (Software) - > Congresos - > Tema Principal Desarrollo de Sistemas Sistemas Computacionales Ingeniería Computacional
Urunga tuihono:	Ver documento en línea
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!