Skip to main content alibris logo
  • Books
  • Formal methods Computer science

Formal methods Computer science Books

Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Formal Verification of...

David M. Russinoff
Buy from $79.11
eBook from $26.70

Software Specification Methods Software Specification Methods

Henri Habrias (Editor), Marc Frappier (Editor)
Buy from $7.25

Process Algebra for Parallel and Distributed Processing Process Algebra for Parallel...

Michael Alexander (Editor), William Gardner (Editor)
Buy from $24.00

Formal Methods in Computer Science Formal Methods in Computer...

Jiacun Wang, William Tepfenhart
Buy from $103.32
eBook from $60.50

Dynamic Logic Dynamic Logic

David Harel, Dexter Kozen
Buy from $40.71

Java Software Development with Event B: A Practical Guide Java Software Development...

N?stor Cataħo Collazos
Buy from $28.17

Principles of Cyber-Physical Systems Principles of Cyber-Physical...

Rajeev Alur
Buy from $53.96

Modeling and Verification Using UML Statecharts: A Working Guide to Reactive System Design, Runtime Monitoring and Execution-Based Model Checking Modeling and Verification...

Doron Drusinsky
Buy from $12.90
eBook from $81.95

Descriptional Complexity of Formal Systems: 24th IFIP WG 1.02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings Descriptional Complexity of...

Yo-Sub Han (Editor), Gy÷rgy Vaszil (Editor)
Buy from $29.45
eBook from $25.50

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV Leveraging Applications of...

Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Buy from $22.72
eBook from $21.00

NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings NASA Formal Methods: 14th...

Jyotirmoy V. Deshmukh (Editor), Klaus Havelund (Editor)
Buy from $131.50
eBook from $35.70

The Way of Z: Practical Programming with Formal Methods The Way of Z: Practical...

Jonathan Jacky
Buy from $2.38
eBook from $70.99

From Object-Orientation to Formal Methods: Essays in Memory of OLE-Johan Dahl From Object-Orientation to...

Olaf Owe (Editor), Stein Krogdahl (Editor)
Buy from $47.37
eBook from $16.50

Formal Methods: Industrial Use from Model to the Code Formal Methods: Industrial...

Jean-Louis Boulanger (Editor)
Buy from $157.73

Readings in Hardware/Software Co-Design Readings in Hardware/Software...

Giovanni De Micheli (Editor), Rolf Ernst (Editor)
Buy from $5.43
eBook from $118.00

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday From Software Engineering to...

Maurice H. ter Beek (Editor), Alessandro Fantechi (Editor)
Buy from $9.99
eBook from $16.50

Algebraic Foundations of Systems Specification Algebraic Foundations of...

Egidio Astesiano (Editor), Hans-Jorg Kreowski (Editor)
Buy from $17.99
eBook from $16.50

Teamwork in Multi-Agent Systems: A Formal Approach Teamwork in Multi-Agent...

Barbara Dunin-Keplicz, Rineke Verbrugge
Buy from $59.18

Synchronous Equivalence: Formal Methods for Embedded Systems Synchronous Equivalence:...

Harry Hsieh, Felice Balarin
Buy from $23.75
eBook from $29.70

Industrial Use of Formal Methods: Formal Verification Industrial Use of Formal...

Jean-Louis Boulanger (Editor)
Buy from $157.68

Lectures on Formal Methods and Performance Analysis: First Eef/Euro Summer School on Trends in Computer Science Berg En Dal, the Netherlands, July 3-7, 2000. Revised Lectures Lectures on Formal Methods...

Ed Brinksma (Editor), Holger Hermanns (Editor)
Buy from $20.13
eBook from $16.50

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi Specification, Algebra, and...

Shusaku Iida (Editor), Jos? Meseguer (Editor)
Buy from $51.65
eBook from $16.50

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I Leveraging Applications of...

Tiziana Margaria (Editor), Bernhard Steffen (Editor)
Buy from $51.65
eBook from $16.50

  1. < Prev
  2. 1
  3. 2
  4. 3
  5. ...
  6. 5
  7. Next >