Formal Methods: Foundations...
S?rgio Campos (Editor),
Marius Minea (Editor)
Buy new from $46.38
eBook from $18.00
|
Formal Grammar: 15th and 16th...
Philippe de Groote (Editor),
Mark-Jan Nederhof (Editor)
Buy new from $60.65
eBook from $16.50
|
FM'99 - Formal Methods: World...
Jeannette M Wing (Editor),
Jim Woodcook (Editor)
Buy new from $112.32
eBook from $29.70
|
Computer Performance...
Katja Gilly (Editor),
Nigel Thomas (Editor)
Buy new from $55.26
eBook from $21.00
|
Formal Techniques for...
Marieke Huisman (Editor),
Ant?nio Ravara (Editor)
Buy new from $58.82
eBook from $24.00
|
Formal Methods for Components...
Frank S. de Boer (Editor),
Marcello M. Bonsangue (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Aspects of Component...
Silvia Lizeth Tapia Tarifa (Editor),
Jos? Proen?a (Editor)
Buy new from $55.54
eBook from $21.00
|
Formal Grammar: 14th...
Philippe de Groote (Editor),
Markus Egg (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Modeling and Analysis...
Sergiy Bogomolov (Editor),
David Parker (Editor)
Buy new from $49.79
eBook from $18.00
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy new from $43.09
eBook from $18.00
|
Formal Modeling and Analysis...
V?ctor Braberman (Editor),
Laurent Fribourg (Editor)
Buy new from $42.72
eBook from $15.00
|
Formal Methods for Multi...
Lars Lindemann,
Dimos V Dimarogonas
Buy new from $73.48
eBook from $54.99
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy new from $47.05
eBook from $16.50
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy new from $45.28
eBook from $16.50
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy new from $47.12
eBook from $16.50
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy new from $71.94
eBook from $27.00
|
Formal Methods Teaching: 4th...
Jo?o F. Ferreira (Editor),
Alexandra Mendes (Editor)
Buy new from $46.65
eBook from $18.00
|
Formal Aspects of Component...
Diego Marmsoler (Editor),
Meng Sun (Editor)
Buy new from $42.96
eBook from $16.50
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy new from $58.13
eBook from $21.00
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy new from $80.97
eBook from $44.70
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $64.28
eBook from $24.00
|
Formal Ontology in...
Fabian Neuhaus (Editor),
Boyan Brodaric (Editor)
Buy new from $93.18
eBook from $167.00
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy new from $88.75
eBook from $29.70
|
Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy new from $60.65
eBook from $16.50
|