Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $24.31
eBook from $47.70
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba ?lveczky (Editor)
Buy from $51.65
eBook from $16.50
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy from $20.23
eBook from $24.00
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $9.48
eBook from $29.70
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from $56.35
eBook from $18.00
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika ?brahßm (Editor)
Buy from $23.94
eBook from $19.50
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy from $51.65
eBook from $16.50
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $95.17
eBook from $96.95
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from $42.25
eBook from $13.50
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy from $37.58
eBook from $16.50
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy from $51.65
eBook from $16.50
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy from $103.32
eBook from $29.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $75.14
eBook from $24.00
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Sang-Ki Ko (Editor)
Buy from $61.05
eBook from $19.50
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy from $56.35
eBook from $18.00
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy from $51.65
eBook from $16.50
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy from $75.14
eBook from $24.00
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy from $51.65
eBook from $16.50
|
Integrated Formal Methods:...
Nikolai Kosmatov (Editor),
Laura Kovßcs (Editor)
Buy from $131.50
eBook from $42.00
|
Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy from $6.80
eBook from $16.50
|
Model Checking, Synthesis,...
Ernst-R?diger Olderog (Editor),
Bernhard Steffen (Editor)
Buy from $65.75
eBook from $21.00
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from $51.46
eBook from $16.50
|
Formal Methods Teaching: 6th...
Emil Sekerinski (Editor),
Leila Ribeiro (Editor)
Buy from $42.26
eBook from $13.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $75.14
eBook from $24.00
|
