Integrated Formal Methods:...
Ferruccio Damiani (Editor),
Marie Farrell (Editor)
Buy from $62.17
eBook from $22.50
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $88.98
eBook from $96.95
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $58.60
eBook from $22.50
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy from $90.27
eBook from $29.70
|
Modeling Complex Processes...
Christina Kl?ver,
J?rgen Kl?ver
Buy from $68.15
eBook from $25.50
|
Formal Aspects of Component...
Diego Marmsoler (Editor),
Meng Sun (Editor)
Buy from $47.32
eBook from $16.50
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy from $87.11
eBook from $29.70
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy from $65.54
eBook from $25.50
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy from $47.46
eBook from $18.00
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy from $73.15
eBook from $27.00
|
Software Engineering and...
Domenico Bianculli (Editor),
Elena G?mez-Mart?nez (Editor)
Buy from $63.58
eBook from $24.00
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy from $89.91
eBook from $35.70
|
Descriptional Complexity of...
Henning Bordihn (Editor),
Nicholas Tran (Editor)
Buy from $52.05
eBook from $19.50
|
Formal Aspects of Component...
Gwen Sala?n (Editor),
Anton Wijs (Editor)
Buy from $40.62
eBook from $15.00
|
Formal Modeling and Analysis...
Sergiy Bogomolov (Editor),
David Parker (Editor)
Buy from $50.62
eBook from $18.00
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy from $66.50
eBook from $25.50
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy from $27.94
eBook from $29.70
|
Computer Performance...
Katja Gilly (Editor),
Nigel Thomas (Editor)
Buy from $56.22
eBook from $21.00
|
Web Services, Formal Methods,...
Thomas Hildebrandt (Editor),
Ant?nio Ravara (Editor)
Buy from $38.45
eBook from $13.50
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
Sang-Ki Ko (Editor)
Buy from $52.05
eBook from $19.50
|
Integrated Formal Methods:...
Nikolai Kosmatov (Editor),
Laura Kovßcs (Editor)
Buy from $112.41
eBook from $42.00
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy from $59.11
eBook from $21.00
|
Formal Techniques for...
Marieke Huisman (Editor),
Ant?nio Ravara (Editor)
Buy from $59.85
eBook from $24.00
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy from $67.19
eBook from $25.50
|
