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

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

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

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

N?stor Cataħo Collazos
Buy from $28.17

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

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

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

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

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

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

Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday Protocols, Strands, and Logic...

Daniel Dougherty (Editor), Jos? Meseguer (Editor)
Buy from $75.14
eBook from $24.00

Dynamic Logic Dynamic Logic

David Harel, Dexter Kozen
Buy from $15.36

Software Specification Methods Software Specification Methods

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

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

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

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

Jean-Louis Boulanger (Editor)
Buy from $159.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 $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 $93.60

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

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

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

Jean-Louis Boulanger (Editor)
Buy from $116.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 $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 >