Formal Methods for Autonomous Systems (Foundations and Trends(r) in Systems and Control)
$99.00
from $95.29
An Introduction to Formal Languages and Automata
from $12.71
Formal Methods: An Appetizer
$54.99
from $51.96
$58.41
from $51.50
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
from $40.16
Formal Verification of Control System Software (Princeton Series in Applied Mathematics, 58)
$26.88
from $21.02
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
from $48.23
Introduction to Automata, Theory, Languages and Computation
from $11.75
The Metaphysicians' Desk Reference: Including the Revised Formal System of Metaphysics
from $25.95
Formal Verification: An Essential Toolkit for Modern VLSI Design
from $72.46
More results from Amazon »