Skip to main content

Save $10 through Sunday. Get the code »

alibris logo

  • Books
  • Formal methods Computer science

Formal methods Computer science Books

Favorites

Condition

Formats

Book subjects like Formal methods Computer science

Browse All Subjects




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

Jiacun Wang
Buy from $92.99
eBook from $60.50

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

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

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

Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems Practical UML Statecharts in...

Miro Samek, PH.D.
Buy from $6.15
eBook from $41.23

Software Specification Methods Software Specification Methods

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

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

Michael Alexander (Editor), William Gardner (Editor)
Buy from $24.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

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

Jonathan Jacky
Buy from $2.86
eBook from $70.99

Dynamic Logic Dynamic Logic

David Harel, Dexter Kozen
Buy from $38.32

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

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

Rajeev Alur
Buy from $53.60

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

N?stor Cataħo Collazos
Buy from $28.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 $131.50
eBook from $35.70

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.78
eBook from $118.00

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

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

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

Jean-Louis Boulanger (Editor)
Buy from $157.73

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 $29.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

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

Jean-Louis Boulanger (Editor)
Buy from $116.37

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

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

Related Books
Alibris BBB Business Review

Terms of Use | Privacy Policy | Recommendations by Simularity | Accessibility Statement
Copyright © 1998 - 2024 Alibris. All rights reserved.

Alibris, the Alibris logo, and Alibris.com are registered trademarks of Alibris, Inc.

Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited, Baker & Taylor, Inc., or by their respective licensors, or by the publishers, or by their respective licensors. For personal use only. All rights reserved. All rights in images of books or other publications are reserved by the original copyright holders.