Multi-Valued Reasoning about Reactive Systems

by Orna Kupferman

First published 2022
116 pages
English

Genres: Nonfiction › Technology › Computing Nonfiction › Philosophy › Logic

Reviews

No reviews yet. Be the first.

Details & editions

This edition: Now Publishers, 2022
ISBN: 9781638281382
Language: English