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

Formal methods Computer science Books

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

Rajeev Alur
Buy from $98.25

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

David M. Russinoff
Buy from $53.22

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

Jiacun Wang, William Tepfenhart
Buy from $97.59

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 $34.25

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

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

Software Specification Methods Software Specification Methods

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

Dynamic Logic Dynamic Logic

David Harel, Dexter Kozen
Buy from $26.21

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 $19.90

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

N?stor Cataħo Collazos
Buy from $37.17

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 $111.06

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

Jonathan Jacky
Buy from $9.28

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 $54.37

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

Harry Hsieh, Felice Balarin
Buy from $31.75

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

Giovanni De Micheli (Editor), Rolf Ernst (Editor)
Buy from $12.03

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

Jean-Louis Boulanger (Editor)
Buy from $166.32

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 $16.99

Algebraic Foundations of Systems Specification Algebraic Foundations of...

Egidio Astesiano (Editor), Hans-Jorg Kreowski (Editor)
Buy from $24.99

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

Barbara Dunin-Keplicz, Rineke Verbrugge
Buy from $69.77

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

Jean-Louis Boulanger (Editor)
Buy from $123.11

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 $27.13

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

Shusaku Iida (Editor), Jos? Meseguer (Editor)
Buy from $60.65

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 $60.65

Formal Verification of Object-Oriented Software: International Conference, FOVEOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers Formal Verification of Object...

Bernhard Beckert (Editor), Claude March? (Editor)
Buy from $55.96

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