Protocols, Strands, and Logic...
Daniel Dougherty (Editor),
José Meseguer (Editor)
Buy new from $84.14
eBook from $24.00
|
Formal Methods: 24th...
Marieke Huisman (Editor),
Corina Pasareanu (Editor)
Buy new from $121.72
eBook from $32.70
|
Formal Methods: Foundations...
Sérgio Campos (Editor),
Marius Minea (Editor)
Buy new from $65.35
eBook from $18.00
|
Model Checking, Synthesis,...
Ernst-Rüdiger Olderog (Editor),
Bernhard Steffen (Editor)
Buy new from $74.75
eBook from $21.00
|
Formal Methods Teaching: 4th...
Joăo F. Ferreira (Editor),
Alexandra Mendes (Editor)
Buy new from $65.35
eBook from $18.00
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy new from $88.43
eBook from $25.50
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy new from $88.43
eBook from $25.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $81.63
eBook from $24.00
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy new from $328.40
eBook from $47.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $102.04
eBook from $26.70
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy new from $60.65
eBook from $16.50
|
From Software Engineering to...
Maurice H. ter Beek (Editor),
Alessandro Fantechi (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods in Computer...
Jiacun Wang,
William Tepfenhart
Buy new from $110.97
eBook from $63.25
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $60.65
eBook from $16.50
|
Web Services, Formal Methods,...
Thomas Hildebrandt (Editor),
António Ravara (Editor)
Buy new from $51.26
eBook from $13.50
|
Formal Methods and Software...
Michael Butler (Editor),
Sylvain Conchon (Editor)
Buy new from $60.65
eBook from $16.50
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $47.61
eBook from $13.50
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy new from $60.65
eBook from $16.50
|
Web Services and Formal...
Emilio Tuosto (Editor),
Chun Ouyang (Editor)
Buy new from $51.26
eBook from $13.50
|
Formal Techniques for Safety...
Cyrille Artho (Editor),
Peter Csaba Ölveczky (Editor)
Buy new from $60.65
eBook from $16.50
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy new from $112.32
eBook from $29.70
|
Specification, Algebra, and...
Shusaku Iida (Editor),
José Meseguer (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $55.96
eBook from $15.00
|
