Formal Aspects in Security...
Pierpaolo Degano (Editor),
Joshua D Guttman (Editor)
Buy new from $51.65
|
Process Algebra for Parallel...
Michael Alexander (Editor),
William Gardner, PhD (Editor)
Buy new from $150.30
|
Modeling and Verification of...
Nicolas Navet (Editor),
Stephan Merz (Editor)
Buy new from $242.77
|
Verification Techniques for...
Masahiro Fujita,
Indradeep Ghosh
Buy new from $98.42
eBook from $96.95
|
Design Patterns Formalization...
Toufik Taibi
Buy new from $72.08
eBook from $99.95
|
Modeling and Verification...
Doron Drusinsky
Buy new from $72.69
eBook from $81.95
|
Software Specification Methods
Henri Habrias (Editor),
Marc Frappier (Editor)
Buy new from $138.90
|
Modern Formal Methods and...
Hossam A Gabbar (Editor)
Buy new from $111.79
eBook from $32.70
|
From Object-Orientation to...
Olaf Owe (Editor),
Stein Krogdahl (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Approaches to Software...
Andreas Ulrich (Editor)
Buy new from $51.65
eBook from $16.50
|
Symbolic Simulation Methods...
Robert B Jones
Buy new from $49.60
|
Lectures on Formal Methods...
Ed Brinksma (Editor),
Holger Hermanns (Editor)
Buy new from $51.65
eBook from $16.50
|
Formal Techniques for...
Myungchul Kim (Editor),
Byoungmoon Chin (Editor)
Buy new from $140.79
eBook from $62.70
|
Readings in Hardware/Software...
Giovanni De Micheli (Editor),
Rolf Ernst (Editor)
Buy new from $53.02
eBook from $118.00
|
Synchronous Equivalence:...
Harry Hsieh,
Felice Balarin
Buy new from $99.82
eBook from $29.70
|
Formal Specification using Z
David Lightfoot
Buy new from $47.25
|
Software Specification...
Marc Frappier (Editor),
Henri Habrias (Editor)
Buy new from $103.32
eBook from $29.70
|
Integrated Formal Methods:...
Wolfgang Grieskamp (Editor),
Thomas Santen (Editor)
Buy new from $51.65
|
Cafe: An Industrial-Strength...
Kokichi Futatsugi,
A T Nakagawa (Editor)
Buy new from $18.50
eBook from $117.00
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $149.92
|
Dynamic Logic
David Harel,
Dexter Kozen
Buy new from $68.44
|
Formal Methods for...
Tommaso Bolognesi (Editor),
Diego Latella (Editor)
Buy new from $161.16
|
Domain Modeling-Based...
Ruqian Lu,
Zhi Jin
Buy new from $206.66
eBook from $62.70
|
Challenges for Action Theories
Michael Thielscher
Buy new from $51.65
eBook from $16.50
|
