Formal Methods in Computer Science
Home / World Caribbean Books
✦ Verified product

Formal Methods in Computer Science

USD 115.00
Title
Add to cart ≡
Brand CRC Press
Computer EngineeringComputersGetBooksGetBooksCreatedGetBooksCreatedTime_2025-09-18 20:34Machine TheoryMathematicsSet Theory
World Caribbean Books
World Caribbean Books Verified independent store
→

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Related products

More you might like

Formal Methods in Computer Science Related

Formal Methods in Computer Science

USD 220.00
Formal Methods in Human-Computer Interaction (Cambridge Series on Human-Computer Interaction, Series Number 2) Related

Formal Methods in Human-Computer Interaction (Cambridge Seri

GBP 7.79
Integrated Formal Methods Related

Integrated Formal Methods

EUR 53.49
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings: 4468 (Lecture Notes in Computer Science) Related

Formal Methods for Open Object-Based Distributed Systems: 9t

GBP 43.17
Select options