Jim Woodcock

ספרים שבהם Jim Woodcock מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Theoretical Aspects of Computing -- ICTAC 2013Zhiming Liu

Theoretical Aspects of Computing -- ICTAC 2013

Zhiming Liu · 2013

Mathematics of program constructionBird, Richard

Mathematics of program construction

Bird, Richard · 1993

Formal methods and hybrid real-time systemsD. Bjørner

Formal methods and hybrid real-time systems

D. Bjørner · 2007

Dependable Software Engineering. Theories, Tools, and ApplicationsShengchao Qin

Dependable Software Engineering. Theories, Tools, and Applications

Shengchao Qin · 2021

Theories of Programming and Formal MethodsZhiming Liu

Theories of Programming and Formal Methods

Zhiming Liu · 2013

Unifying Theories of Programming and Formal Engineering MethodsZhiming Liu

Unifying Theories of Programming and Formal Engineering Methods

Zhiming Liu · 2013

Formal Methods : Foundations and ApplicationsMarcel Vinícius Medeiros Oliveira

Formal Methods : Foundations and Applications

Marcel Vinícius Medeiros Oliveira · 2009

Verified Software : Theories, Tools, ExperimentsNatarajan Shankar

Verified Software : Theories, Tools, Experiments

Natarajan Shankar · 2008

Domain Modeling and the Duration CalculusChris George

Domain Modeling and the Duration Calculus

Chris George · 2007

Refinement Techniques in Software EngineeringAna Cavalcanti

Refinement Techniques in Software Engineering

Ana Cavalcanti · 2006