Modeling Complex Processes...
Christina Klüver,
Jürgen Klüver
Buy from $86.03
eBook from $25.50
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy from $56.14
eBook from $18.00
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy from $21.25
eBook from $24.00
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika Ábrahám (Editor)
Buy from $32.97
eBook from $19.50
|
Formal Concept Analysis: 17th...
Dominik Dürrschnabel (Editor),
Domingo López Rodríguez (Editor)
Buy from $44.30
eBook from $18.00
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy from $74.75
eBook from $21.00
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
György Vaszil (Editor)
Buy from $81.63
eBook from $25.50
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy from $88.43
eBook from $25.50
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from $124.72
eBook from $38.70
|
Formal Verification of...
David M. Russinoff
Buy from $145.31
eBook from $32.70
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy from $71.12
eBook from $27.00
|
Protocols, Strands, and Logic...
Daniel Dougherty (Editor),
José Meseguer (Editor)
Buy from $84.14
eBook from $24.00
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from $88.43
eBook from $25.50
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy from $88.43
eBook from $25.50
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy from $44.58
eBook from $16.50
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy from $16.99
eBook from $16.50
|
Formal Methods in Computer...
Jiacun Wang,
William Tepfenhart
Buy from $110.97
eBook from $63.25
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $60.65
eBook from $16.50
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from $47.61
eBook from $13.50
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy from $60.65
eBook from $16.50
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy from $60.65
eBook from $16.50
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba Ölveczky (Editor)
Buy from $60.65
eBook from $16.50
|
Specification, Algebra, and...
Shusaku Iida (Editor),
José Meseguer (Editor)
Buy from $60.65
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy from $55.96
eBook from $15.00
|
