Integrated Formal Methods:...
Nikolai Kosmatov (Editor),
Laura Kovács (Editor)
Buy from $131.50
eBook from $42.00
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy from $51.65
eBook from $16.50
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $75.14
eBook from $24.00
|
Formal Methods Teaching: 6th...
Emil Sekerinski (Editor),
Leila Ribeiro (Editor)
Buy from $42.26
eBook from $13.50
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy from $56.35
eBook from $18.00
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy from $122.11
eBook from $35.70
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy from $32.73
eBook from $24.00
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika Ábrahám (Editor)
Buy from $23.94
eBook from $19.50
|
Formal Concept Analysis: 17th...
Dominik Dürrschnabel (Editor),
Domingo López Rodríguez (Editor)
Buy from $56.35
eBook from $18.00
|
Formal Techniques for...
Marieke Huisman (Editor),
António Ravara (Editor)
Buy from $75.14
eBook from $24.00
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy from $103.32
eBook from $29.70
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy from $56.35
eBook from $18.00
|
Dependable Software...
Wei Dong (Editor),
Jean-Pierre Talpin (Editor)
Buy from $65.75
eBook from $21.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy from $93.93
eBook from $26.70
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy from $51.65
eBook from $16.50
|
Software Engineering and...
Bernd-Holger Schlingloff (Editor),
Ming Chai (Editor)
Buy from $65.75
eBook from $21.00
|
Descriptional Complexity of...
Yo-Sub Han (Editor),
György Vaszil (Editor)
Buy from $79.84
eBook from $25.50
|
Formal Methods for Industrial...
Jan Friso Groote (Editor),
Marieke Huisman (Editor)
Buy from $75.14
eBook from $24.00
|
Integrated Formal Methods:...
Maurice H. ter Beek (Editor),
Rosemary Monahan (Editor)
Buy from $79.03
eBook from $25.50
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy from $169.08
eBook from $50.70
|
Formal Techniques for...
Mohammad Reza Mousavi (Editor),
Anna Philippou (Editor)
Buy from $74.38
eBook from $24.00
|
NASA Formal Methods: 14th...
Jyotirmoy V. Deshmukh (Editor),
Klaus Havelund (Editor)
Buy from $106.73
eBook from $38.70
|
Formal Verification of...
David M. Russinoff
Buy from $158.08
eBook from $32.70
|
Software Engineering and...
Radu Calinescu (Editor),
Corina S. Pasareanu (Editor)
Buy from $64.12
eBook from $27.00
|
