Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy from $37.58
eBook from $16.50
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
L?onard Kwuida (Editor)
Buy from $169.07
eBook from $50.70
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from $51.46
eBook from $16.50
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $9.48
eBook from $29.70
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $97.36
eBook from $96.95
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $15.96
eBook from $29.70
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy from $19.50
eBook from $24.00
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy from $64.12
eBook from $27.00
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika ?brahßm (Editor)
Buy from $23.94
eBook from $19.50
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from $42.25
eBook from $13.50
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from $79.03
eBook from $25.50
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy from $20.81
eBook from $18.00
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy from $65.75
eBook from $21.00
|
Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy from $6.80
eBook from $16.50
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy from $51.65
eBook from $16.50
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy from $79.03
eBook from $25.50
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy from $79.03
eBook from $25.50
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy from $74.38
eBook from $24.00
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy from $51.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy from $46.95
eBook from $15.00
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy from $51.65
eBook from $16.50
|
