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

Formal methods Computer science Books

Domain Modeling-Based Software Engineering: A Formal Approach Domain Modeling-Based...

Ruqian Lu, Zhi Jin
Buy from $171.22
eBook from $62.70

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools Modeling and Verification of...

Nicolas Navet (Editor), Stephan Merz (Editor)
Buy from $48.88

Design Patterns Formalization Techniques Design Patterns Formalization...

Toufik Taibi
Buy from $58.69
eBook from $99.95

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I FM'99 - Formal Methods: World...

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

Software Specification Methods: An Overview Using a Case Study Software Specification...

Marc Frappier (Editor), Henri Habrias (Editor)
Buy from $103.32
eBook from $29.70

Formal Specification: Techniques and Applications Formal Specification:...

Nimal Nissanke
Buy from $14.67
eBook from $16.50

Communicating Embedded Systems: Software and Design Communicating Embedded...

Claude Jard (Editor), Olivier H Roux (Editor)
Buy from $155.99

Modern Formal Methods and Applications Modern Formal Methods and...

Hossam A. Gabbar (Editor)
Buy from $26.17
eBook from $29.70

Formal Methods Fact File: VDM and Z Formal Methods Fact File: VDM...

Andrew Harry
Buy from $136.85

Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings Formal Methods and Software...

Michael Butler (Editor), Sylvain Conchon (Editor)
Buy from $51.65
eBook from $16.50

Formal Methods for Industrial Critical Systems: A Survey of Applications Formal Methods for Industrial...

Stefania Gnesi, Tiziana Margaria
Buy from $85.51

Industrial-Strength Formal Methods in Practice Industrial-Strength Formal...

Michael G Hinchey (Editor), Prof. Jonathan P Bowen (Editor)
Buy from $14.59
eBook from $47.70

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I Leveraging Applications of...

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

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, Fates 2003, Montreal, Quebec, Canada, October 6th, 2003 Formal Approaches to Software...

Andreas Ulrich (Editor)
Buy from $51.54
eBook from $16.50

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers Formal Techniques for Safety...

Cyrille Artho (Editor), Peter Csaba ?lveczky (Editor)
Buy from $51.65
eBook from $16.50

Formal Aspects in Security and Trust Formal Aspects in Security...

Pierpaolo Degano (Editor), Joshua D Guttman (Editor)
Buy from $51.65

Formal Methods in Manufacturing Systems: Recent Advances Formal Methods in...

Zhiwu Li (Editor), Abdulrahman M. Al-Ahmari (Editor)
Buy from $196.27
eBook from $195.00

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Theories of Programming and...

Jonathan P. Bowen (Editor), Qin Li (Editor)
Buy from $75.14
eBook from $24.00

Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings Software Engineering and...

Gilles Barthe (Editor), Alberto Pardo (Editor)
Buy from $51.65
eBook from $16.50

Descriptional Complexity of Formal Systems: 23rd IFIP WG 1.02 International Conference, DCFS 2021, Virtual Event, September 5, 2021, Proceedings Descriptional Complexity of...

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

Fundamentals of Software Engineering: 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers Fundamentals of Software...

Hossein Hojjat (Editor), Erika ?brahßm (Editor)
Buy from $56.35
eBook from $18.00

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers Structured Object-Oriented...

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

Descriptional Complexity of Formal Systems: 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings Descriptional Complexity of...

J?rgensen (Editor), Rog?rio Reis (Editor)
Buy from $51.65
eBook from $16.50

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings Software Engineering and...

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

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