New eBook Formal methods Computer science Books

Software Engineering and...

Antonio Cerone (Editor), Marco Autili (Editor)
Buy new from $60.44
eBook from $16.50

Model Checking, Synthesis,...

Ernst-R?diger Olderog (Editor), Bernhard Steffen (Editor)
Buy new from $74.75
eBook from $21.00

Integrated Formal Methods:...

Paula Herber (Editor), Anton Wijs (Editor)
Buy new from $131.11
eBook from $35.70

Symbolic Simulation Methods...

Robert B Jones
Buy new from $39.43
eBook from $29.70

Software Engineering and...

Radu Calinescu (Editor), Corina S. Pasareanu (Editor)
Buy new from $93.53
eBook from $27.00

Formal Methods in...

Sara Eloy (Editor), David Leite Viana (Editor)
Buy new from $168.69
eBook from $47.70

Verification Techniques for...

Masahiro Fujita, Indradeep Ghosh
Buy new from $89.86
eBook from $96.95

Runtime Verification: 21st...

Lu Feng (Editor), Dana Fisman (Editor)
Buy new from $87.49
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

Formal Methods: 25th...

Marsha Chechik (Editor), Joost-Pieter Katoen (Editor)
Buy new from $107.69
eBook from $29.70

Dependable Software...

Wei Dong (Editor), Jean-Pierre Talpin (Editor)
Buy new from $67.30
eBook from $21.00

Formal Techniques for...

Mohammad Reza Mousavi (Editor), Anna Philippou (Editor)
Buy new from $80.40
eBook from $24.00

Complex Data Analytics with...

Rokia Missaoui (Editor), L?onard Kwuida (Editor)
Buy new from $175.00
eBook from $50.70

Structured Object-Oriented...

Shaoying Liu (Editor), Zhenhua Duan (Editor)
Buy new from $46.69
eBook from $13.50

Descriptional Complexity of...

Andreas Malcher (Editor), Luca Prigioniero (Editor)
Buy new from $131.11
eBook from $38.70

Leveraging Applications of...

Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Buy new from $79.88
eBook from $24.00

Leveraging Applications of...

Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Buy new from $84.14
eBook from $24.00

Descriptional Complexity of...

Yo-Sub Han (Editor), Sang-Ki Ko (Editor)
Buy new from $70.05
eBook from $19.50

FM'99 - Formal Methods: World...

Jeannette M Wing (Editor), Jim Woodcook (Editor)
Buy new from $112.32
eBook from $29.70

Formal Methods for Industrial...

Jan Friso Groote (Editor), Marieke Huisman (Editor)
Buy new from $72.88
eBook from $24.00

Integrated Formal Methods:...

Nikolai Kosmatov (Editor), Laura Kovßcs (Editor)
Buy new from $140.50
eBook from $42.00

Formal Aspects of Component...

Farhad Arbab (Editor), Sung-Shik Jongmans (Editor)
Buy new from $60.57
eBook from $16.50

Formal Methods: State of the...

Paul Boca (Editor), Jonathan P Bowen (Editor)
Buy new from $112.32
eBook from $44.70

Web Services, Formal Methods,...

Thomas Hildebrandt (Editor), Ant?nio Ravara (Editor)
Buy new from $51.14
eBook from $13.50