Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy new from $103.32
eBook from $29.70
|
Formal Methods in...
Zhiwu Li (Editor),
Abdulrahman M. Al-Ahmari (Editor)
Buy new from $196.27
eBook from $185.00
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
L?onard Kwuida (Editor)
Buy new from $169.07
eBook from $50.70
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy new from $79.83
eBook from $25.50
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy new from $159.69
eBook from $47.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $75.14
eBook from $24.00
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy new from $79.84
eBook from $25.50
|
Model Checking, Synthesis,...
Ernst-R?diger Olderog (Editor),
Bernhard Steffen (Editor)
Buy new from $65.74
eBook from $21.00
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika ?brahßm (Editor)
Buy new from $61.05
eBook from $19.50
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy new from $70.44
eBook from $22.50
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods: 24th...
Marieke Huisman (Editor),
Corina Pasareanu (Editor)
Buy new from $112.72
eBook from $32.70
|
Descriptional Complexity of...
Henning Bordihn (Editor),
Nicholas Tran (Editor)
Buy new from $61.05
eBook from $19.50
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $49.60
eBook from $29.70
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy new from $56.35
eBook from $18.00
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy new from $51.65
eBook from $16.50
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy new from $51.74
eBook from $24.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $157.94
eBook from $24.00
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy new from $65.74
eBook from $21.00
|
Formal Methods Teaching: 4th...
Jo?o F. Ferreira (Editor),
Alexandra Mendes (Editor)
Buy new from $56.35
eBook from $18.00
|
Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy new from $46.96
eBook from $15.00
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy new from $51.65
eBook from $16.50
|
