Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy new from $72.88
eBook from $24.00
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy new from $168.69
eBook from $47.70
|
Formal Techniques for...
Marieke Huisman (Editor),
Ant?nio Ravara (Editor)
Buy new from $74.03
eBook from $24.00
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy new from $63.12
eBook from $24.00
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy new from $74.75
eBook from $21.00
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy new from $53.95
eBook from $18.00
|
Dependable Software...
Wei Dong (Editor),
Jean-Pierre Talpin (Editor)
Buy new from $67.30
eBook from $21.00
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy new from $60.57
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $79.88
eBook from $24.00
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy new from $87.49
eBook from $25.50
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy new from $140.50
eBook from $38.70
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy new from $93.53
eBook from $27.00
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy new from $60.65
eBook from $16.50
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
L?onard Kwuida (Editor)
Buy new from $175.00
eBook from $50.70
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy new from $58.64
eBook from $16.50
|
Descriptional Complexity of...
Henning Bordihn (Editor),
Nicholas Tran (Editor)
Buy new from $70.05
eBook from $19.50
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy new from $131.11
eBook from $35.70
|
Descriptional Complexity of...
Andreas Malcher (Editor),
Luca Prigioniero (Editor)
Buy new from $131.11
eBook from $38.70
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $39.43
eBook from $29.70
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy new from $60.57
eBook from $16.50
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy new from $107.69
eBook from $29.70
|
Model Checking, Synthesis,...
Ernst-R?diger Olderog (Editor),
Bernhard Steffen (Editor)
Buy new from $74.75
eBook from $21.00
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy new from $112.32
eBook from $44.70
|
