Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $50.84
eBook from $16.50
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $54.83
eBook from $29.70
|
Formal Methods: Foundations...
S?rgio Campos (Editor),
Marius Minea (Editor)
Buy from $47.18
eBook from $18.00
|
Descriptional Complexity of...
Andreas Malcher (Editor),
Luca Prigioniero (Editor)
Buy from $103.37
eBook from $41.70
|
Applied Formal Methods - FM...
Dieter Hutter (Editor),
Werner Stephan (Editor)
Buy from $60.65
eBook from $16.50
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy from $114.34
eBook from $47.70
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy from $47.46
eBook from $18.00
|
Formal Aspects of Component...
Silvia Lizeth Tapia Tarifa (Editor),
Jos? Proen?a (Editor)
Buy from $56.50
eBook from $21.00
|
Formal Methods: 24th...
Marieke Huisman (Editor),
Corina Pasareanu (Editor)
Buy from $100.54
eBook from $32.70
|
Integrated Formal Methods:...
Einar Broch Johnsen (Editor),
Luigia Petre (Editor)
Buy from $49.74
eBook from $16.50
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from $47.46
eBook from $18.00
|
Formal Methods in...
Sara Eloy (Editor),
David Leite Viana (Editor)
Buy from $128.10
eBook from $47.70
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from $65.40
eBook from $25.50
|
Dependable Software...
Wei Dong (Editor),
Jean-Pierre Talpin (Editor)
Buy from $56.64
eBook from $21.00
|
Model Checking, Synthesis,...
Ernst-R?diger Olderog (Editor),
Bernhard Steffen (Editor)
Buy from $56.09
eBook from $21.00
|
Formal Methods and Software...
Toshiaki Aoki (Editor),
Kenji Taguchi (Editor)
Buy from $51.11
eBook from $16.50
|
Formal Modeling and Analysis...
Laure Petrucci (Editor),
Jeremy Sproston (Editor)
Buy from $48.01
eBook from $18.00
|
Formal Methods for Multi...
Lars Lindemann,
Dimos V Dimarogonas
Buy from $73.48
eBook from $54.99
|
Software Engineering and...
Carla Ferreira (Editor),
Tim A. C. Willemse (Editor)
Buy from $55.00
eBook from $21.00
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy from $60.13
eBook from $24.00
|
Formal Methods: Foundations...
Lucas Lima (Editor),
Vince Molnßr (Editor)
Buy from $47.46
eBook from $18.00
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy from $47.82
eBook from $16.50
|
Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy from $59.58
eBook from $24.00
|
