Formal Methods for Multi...
Lars Lindemann,
Dimos V Dimarogonas
Buy new from $111.91
|
Modeling Complex Processes...
Christina Klüver,
Jürgen Klüver
Buy new from $86.83
eBook from $25.50
|
Rebeca for Actor Analysis in...
Edward A. Lee (Editor),
Mohammad Reza Mousavi (Editor)
Buy new from $79.44
eBook from $22.50
|
Integrated Formal Methods:...
Nikolai Kosmatov (Editor),
Laura Kovács (Editor)
Buy new from $140.50
eBook from $42.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $84.14
eBook from $24.00
|
Real Time and Such: Essays...
Susanne Graf (Editor),
Paul Pettersson (Editor)
Buy new from $60.65
eBook from $16.50
|
Dependable Software...
Holger Hermanns (Editor),
Jun Sun (Editor)
Buy new from $81.99
|
Formal Methods: Foundations...
Haniel Barbosa (Editor),
Yoni Zohar (Editor)
Buy new from $64.87
eBook from $18.00
|
Integrated Formal Methods:...
Paula Herber (Editor),
Anton Wijs (Editor)
Buy new from $131.11
eBook from $35.70
|
Software Engineering and...
Carla Ferreira (Editor),
Tim A. C. Willemse (Editor)
Buy new from $74.75
eBook from $21.00
|
Theories of Programming and...
Jonathan P. Bowen (Editor),
Qin Li (Editor)
Buy new from $72.99
eBook from $24.00
|
Fundamentals of Software...
Hossein Hojjat (Editor),
Erika Ábrahám (Editor)
Buy new from $70.05
eBook from $19.50
|
Computer Aided Verification:...
Constantin Enea (Editor),
Akash Lal (Editor)
Buy new from $50.45
|
Computer Aided Verification:...
Constantin Enea (Editor),
Akash Lal (Editor)
Buy new from $55.96
|
Complex Data Analytics with...
Rokia Missaoui (Editor),
Léonard Kwuida (Editor)
Buy new from $178.08
|
Computer Aided Verification:...
Constantin Enea (Editor),
Akash Lal (Editor)
Buy new from $50.45
|
NASA Formal Methods: 15th...
Kristin Yvonne Rozier (Editor),
Swarat Chaudhuri (Editor)
Buy new from $100.91
eBook from $29.70
|
Formal Techniques for...
Marieke Huisman (Editor),
António Ravara (Editor)
Buy new from $79.29
eBook from $24.00
|
Formal Verification of...
David M. Russinoff
Buy new from $121.72
|
Structured Object-Oriented...
Shaoying Liu (Editor),
Zhenhua Duan (Editor)
Buy new from $64.87
eBook from $18.00
|
Formal Methods: 25th...
Marsha Chechik (Editor),
Joost-Pieter Katoen (Editor)
Buy new from $112.32
eBook from $29.70
|
Dependable Software...
Wei Dong (Editor),
Jean-Pierre Talpin (Editor)
Buy new from $72.08
eBook from $21.00
|
Leveraging Applications of...
Tiziana Margaria (Editor),
Bernhard Steffen (Editor)
Buy new from $102.93
eBook from $26.70
|
Software Engineering and...
Antonio Cerone (Editor),
Marco Autili (Editor)
Buy new from $60.65
eBook from $16.50
|