Languages
Jump To : Overview | Titles | Subjects

Derrick, John.

Overview
Works: 1 works in 4 publications in 1 languages
Titles
Refinement = Semantics, Languages and Applications / by: Boiten, Eerke.; SpringerLink (Online service); Derrick, John. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]
Refinement in Z and Object-Z = foundations and advanced applications / by: Boiten, Eerke A.; Derrick, John.; SpringerLink (Online service) (Language materials, printed)
Refinement = semantics, languages and applications / by: Boiten, Eerke.; SpringerLink (Online service); Derrick, John. (Language materials, printed)
Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Derrick, John. (Language materials, printed)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: SpringerLink (Online service); Derrick, John.; Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)
 
 
Change password
Login