Computer Aided Verification by Hana Chockler (English) Hardcover Book
82,82 €
By Hana Chockler, Georg Weissenbacher. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems.
Jetzt bei Ebay:
