Software specification methods
Habrias, Henri (editor) Marc Frappier (editor)
Software specification methods - India ISTE 2007 - xxv, 418 p. : ill. ; 25 cm.
9781905209347 (Hb) 1905209347 9781905209347
Computer science
Formal methods
Computer software--UML--VDHL--E-Lotos--SDL--Petri nets--FC
004.0151 / SOF
Software specification methods - India ISTE 2007 - xxv, 418 p. : ill. ; 25 cm.
9781905209347 (Hb) 1905209347 9781905209347
Computer science
Formal methods
Computer software--UML--VDHL--E-Lotos--SDL--Petri nets--FC
004.0151 / SOF