FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $112.32
eBook from $29.70
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy from $82.99
eBook from $29.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $60.21
eBook from $21.00
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Gy÷rgy Vaszil (Editor)
Buy from $63.48
eBook from $25.50
|
Formal Specification:...
Nimal Nissanke
Buy from $19.73
eBook from $16.50
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy from $49.88
eBook from $16.50
|
Industrial-Strength Formal...
Michael G Hinchey (Editor),
Prof. Jonathan P Bowen (Editor)
Buy from $15.13
eBook from $47.70
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba ?lveczky (Editor)
Buy from $46.72
eBook from $16.50
|
Formal Aspects of Component...
Jos? Luiz Fiadeiro (Editor),
Zhiming Liu (Editor)
Buy from $48.50
eBook from $16.50
|
Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy from $59.58
eBook from $24.00
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy from $66.50
eBook from $25.50
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from $46.03
eBook from $16.50
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy from $48.70
eBook from $18.00
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from $65.40
eBook from $25.50
|
Descriptional Complexity of...
Andreas Malcher (Editor),
Luca Prigioniero (Editor)
Buy from $103.37
eBook from $41.70
|
Formal Methods: Foundations...
Lucas Lima (Editor),
Vince Molnßr (Editor)
Buy from $47.46
eBook from $18.00
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy from $51.11
eBook from $16.50
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy from $30.71
eBook from $44.70
|
Formal Methods: Foundations...
S?rgio Campos (Editor),
Marius Minea (Editor)
Buy from $47.18
eBook from $18.00
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
L?onard Kwuida (Editor)
Buy from $126.10
eBook from $50.70
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy from $47.46
eBook from $18.00
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy from $87.11
eBook from $29.70
|
Computer Performance...
Katja Gilly (Editor),
Nigel Thomas (Editor)
Buy from $56.22
eBook from $21.00
|
