Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy from $59.58
eBook from $24.00
|
Dependable Software...
Shengchao Qin (Editor),
Jim Woodcock (Editor)
Buy from $65.40
eBook from $25.50
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy from $30.71
eBook from $44.70
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy from $77.68
eBook from $96.95
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy from $46.03
eBook from $16.50
|
Formal Modeling and Analysis...
V?ctor Braberman (Editor),
Laurent Fribourg (Editor)
Buy from $43.41
eBook from $15.00
|
Software Engineering and...
Carla Ferreira (Editor),
Tim A. C. Willemse (Editor)
Buy from $54.52
eBook from $21.00
|
Runtime Verification: 21st...
Lu Feng (Editor),
Dana Fisman (Editor)
Buy from $65.54
eBook from $25.50
|
Formal Grammar: 15th and 16th...
Philippe de Groote (Editor),
Mark-Jan Nederhof (Editor)
Buy from $60.65
eBook from $16.50
|
Symbolic Simulation Methods...
Robert B Jones
Buy from $54.83
eBook from $29.70
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy from $67.19
eBook from $25.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $50.84
eBook from $16.50
|
Formal Aspects of Component...
Diego Marmsoler (Editor),
Meng Sun (Editor)
Buy from $29.27
eBook from $16.50
|
Formal Concept Analysis: 17th...
Dominik D?rrschnabel (Editor),
Domingo L?pez Rodr?guez (Editor)
Buy from $48.70
eBook from $18.00
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy from $60.65
eBook from $16.50
|
Modeling Complex Processes...
Christina Kl?ver,
J?rgen Kl?ver
Buy from $68.15
eBook from $25.50
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy from $47.46
eBook from $18.00
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy from $46.03
eBook from $16.50
|
Formal Methods Teaching: 6th...
Emil Sekerinski (Editor),
Leila Ribeiro (Editor)
Buy from $34.72
eBook from $13.50
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy from $108.18
eBook from $47.70
|
Software Engineering and...
Rocco De Nicola (Editor),
Eva K?hn (Editor)
Buy from $49.19
eBook from $16.50
|
Formal Techniques for...
Holger Giese (Editor),
Grigore Rosu (Editor)
Buy from $60.65
eBook from $16.50
|
Theories of Programming and...
Zhiming Liu (Editor),
Jim Woodcock (Editor)
Buy from $49.05
eBook from $16.50
|
Formal Methods and Software...
Stephan Merz (Editor),
Jun Pang (Editor)
Buy from $50.15
eBook from $16.50
|
