Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy from £44.67
eBook from £13.35
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy from £113.60
eBook from £31.29
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
L?onard Kwuida (Editor)
Buy from £141.49
eBook from £41.00
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy from £45.39
eBook from £14.56
|
Formal Methods for Dynamical...
Marco Bernardo (Editor),
Erik de Vink (Editor)
Buy from £43.11
eBook from £12.13
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy from £48.98
eBook from £13.35
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy from £48.41
eBook from £13.35
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy from £45.25
eBook from £12.13
|
NASA Formal Methods: 7th...
Klaus Havelund (Editor),
Gerard Holzmann (Editor)
Buy from £49.04
eBook from £13.35
|
Formal Methods and Software...
Jin Song Dong (Editor),
Huibiao Zhu (Editor)
Buy from £48.71
eBook from £24.02
|
Formal Methods for Mining...
Gemma C Garriga
Buy from £165.50
eBook from £24.02
|
Challenges for Action Theories
Michael Thielscher
Buy from £12.17
eBook from £13.35
|
FM 2014: Formal Methods: 19th...
Cliff Jones (Editor),
Pekka Pihlajasaari (Editor)
Buy from £90.82
eBook from £24.02
|
Formal Methods for Protocol...
Jianping Wu (Editor),
Samuel T Chanson (Editor)
Buy from £13.34
eBook from £50.70
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy from £20.62
eBook from £94.60
|
