Abstract Analytic Function Theory and Hardy Algebras
Author/Editor: Barbey | Publication year: 1977
Abstract Compositional Analysis of Iterated Relations
Author/Editor: Geurts | Publication year: 1998
Abstract Harmonic Analysis of Continuous Wavelet Transforms
Author/Editor: F??hr | Publication year: 2005
Abstract State Machines - Theory and Applications
Author/Editor: Gurevich | Publication year: 2000
Abstract State Machines 2004. Advances in Theory and Practice
Author/Editor: Zimmermann | Publication year: 2004
Abstract State Machines, Alloy, B and Z
Author/Editor: Frappier | Publication year: 2010
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author/Editor: Butler | Publication year: 2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author/Editor: Butler | Publication year: 2018
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Author/Editor: Ait Ameur | Publication year: 2014
Abstract State Machines, Alloy, B, VDM, and Z
Author/Editor: Derrick | Publication year: 2012
Abstraction Refinement for Large Scale Model Checking
Author/Editor: Wang | Publication year: 2006
Abstraction, Refinement and Proof for Probabilistic Systems
Author/Editor: McIver | Publication year: 2005
Abstraction, Reformulation and Approximation
Author/Editor: Zucker | Publication year: 2005
Abstraction, Reformulation, and Approximation
Author/Editor: Koenig | Publication year: 2002
Abstraction, Reformulation, and Approximation
Author/Editor: Choueiry | Publication year: 2000