Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy new from $87.68
eBook from $25.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $84.14
eBook from $24.00
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy new from $60.57
eBook from $16.50
|
Descriptional Complexity of...
Andreas Malcher (Editor),
Luca Prigioniero (Editor)
Buy new from $131.11
eBook from $38.70
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $46.69
eBook from $13.50
|
Software Engineering and...
Gilles Barthe (Editor),
Alberto Pardo (Editor)
Buy new from $60.65
eBook from $16.50
|
Formal Methods: 24th...
Marieke Huisman (Editor),
Corina Pasareanu (Editor)
Buy new from $121.72
eBook from $32.70
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy new from $107.69
eBook from $29.70
|
Integrated Formal Methods:...
Nikolai Kosmatov (Editor),
Laura Kovßcs (Editor)
Buy new from $140.50
eBook from $42.00
|
Web Services, Formal Methods,...
Thomas Hildebrandt (Editor),
Ant?nio Ravara (Editor)
Buy new from $51.14
eBook from $13.50
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy new from $79.44
eBook from $22.50
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $89.86
eBook from $96.95
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy new from $60.65
eBook from $16.50
|
NASA Formal Methods: 17th...
Aaron Dutle (Editor),
Laura Humphrey (Editor)
Buy new from $140.50
eBook from $38.70
|
Formal Methods: State of the...
Paul Boca (Editor),
Jonathan P Bowen (Editor)
Buy new from $112.32
eBook from $44.70
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy new from $131.11
eBook from $35.70
|
Descriptional Complexity of...
Henning Bordihn (Editor),
Nicholas Tran (Editor)
Buy new from $70.05
eBook from $19.50
|
Integrated Formal Methods:...
John Derrick (Editor),
Stefania Gnesi (Editor)
Buy new from $60.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $79.88
eBook from $24.00
|
Formal Aspects of Component...
Farhad Arbab (Editor),
Sung-Shik Jongmans (Editor)
Buy new from $60.57
eBook from $16.50
|
Model Checking, Synthesis,...
Ernst-R?diger Olderog (Editor),
Bernhard Steffen (Editor)
Buy new from $74.75
eBook from $21.00
|
Formal Techniques for...
Marieke Huisman (Editor),
Ant?nio Ravara (Editor)
Buy new from $74.03
eBook from $24.00
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy new from $73.80
eBook from $21.00
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy new from $64.49
eBook from $24.00
|
