皮皮学，免费搜题
登录
搜题
【单选题】
本讲在讲述软件建模方法时,主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测 , 设计求精验证。下列各选项中, ________ 不属于形式化思维方法中采用的表达方法。A.
VDM 语言
B.
Z 语言
C.
C 语言
D.
Petri 网
拍照语音搜题，微信中搜索"皮皮学"使用
参考答案：
参考解析：
知识点：
皮皮学刷刷变学霸
举一反三
【简答题】PONER LAS FORMAS DEL SUBJUNTIVO PRESENTE DE LOS VERBOS ENTRE PARÉNTESIS Querida amiga: Espero que tú (estar) ___________ muy bien y que todo (ir) ____________ bien en la universidad. Yo ya estoy en Mé...
【单选题】船舶型线图上的船体基准面有 (39977:第一章_船舶与货物:434)
A.
中横剖面,中纵剖面,设计水线面
B.
中线面,中站面,基平面
C.
中线面,中站面,设计水线面
D.
横中剖面,纵剖面,基平面
【简答题】Rellena los huecos con la forma adecuerda de las palabras en el recuadro . olvidar(se) estropear(se) sorprender(se) encargar deber tan pronto como disponer de instalar(se) caracterizar(se) es...
【简答题】Hijos, ya llgamos .___________ (Coger, nosotros) las cosas,___________ (bajar) del tren ( 火车) y ___________ (esperar) que el tío ____________(venir) a recibimos.
【简答题】(35.75) 10 =( ) 2 = ( ) 8421BCD
【简答题】(35.75)10=(____)2 = (____)8421BCD,(30.25)10 =(____)2 =(____)16。
【简答题】Un día lluvioso de otoño Mirando aquel día por la ventana me di cuenta de que el verano se
había ido para dejar paso al otoño. Fuera se podía ver ya ese típico
follaje que le caracteriza. Todo estab...
【多选题】单硝酸异山梨酯适应症包括( )。
A.
冠心病的长期治疗
B.
心绞痛的长期治疗和预防
C.
与利尿剂合用治疗慢性充血性心力衰竭
D.
与洋地黄合用治疗慢性充血性心力衰竭
【多选题】.受益人证明是由受益人根据信用证规定证实有关内容的书面证明,其种类主要有( )等形式,在信用证方式下,也是出口商议付单据之一。
A.
寄单证明
B.
电抄本
C.
履约证明
D.
装运通知
【单选题】船舶型线图上的船体基准面有______。
A.
横中剖面，纵剖面，基平面
B.
中横剖面，中纵剖面，设计水线面
C.
中线面，中站面，基平面
D.
中线面，中站面，设计水线面
相关题目：