Kategorien

Zu "model checking" wurden 9 Produkte gefunden

Filter
–
Download
PDF
Handbook of Weighted Automata
Handbook of Weighted Automata Manfred Droste, Werner Kuich, Heiko Vogler

234,33 €*
Download
PDF
Symbolisches Model Checking variabler Verhaltensspezifikationen
Symbolisches Model Checking variabler Verhaltensspezifikationen Tim Jonischkat

59,00 €*
Download
PDF
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking Malte Röhs

59,00 €*
Download
PDF
Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare

160,49 €*
Download
PDF
Information, Interaction, and Agency
Information, Interaction, and Agency Wiebe van der Hoek

64,19 €*
Download
PDF
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure
Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Christian Herde

96,29 €*
Download
PDF
Unfoldings
Unfoldings Javier Esparza, Keijo Heljanko

96,29 €*
Download
PDF
Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver, Charles Carroll Morgan

149,79 €*
Download
PDF
Informatics in Control Automation and Robotics
Informatics in Control Automation and Robotics Juan Andrade Cetto, Jean-Louis Ferrier, José Miguel Costa dias Pereira, Joaquim Filipe

149,79 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...