Model checking:
Saved in:
Bibliographic Details
Main Author: Clarke, Edmund M. 1945-2020 (Author)
Format: Book
Language:English
Published: Cambridge, MA The MIT Press [2018]
Edition:Second edition
Series:The cyber-physical systems series
Subjects:
Online Access:Inhaltsverzeichnis
Item Description:Includes bibliographical references and index
Physical Description:xx, 402 Seiten Illustrationen, Diagramme
ISBN:9780262038836

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes