Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications

Prezzi da
56,84

Link sponsorizzati

CONFRONTA TUTTI I WEBSHOP (1)

Descrizione

Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications

Description Descrizione
Product Specifications Specifiche del prodotto
Risultati correlati Risultati correlati
Next
Previous

Confronta i webshop (1)

Link sponsorizzati · Alcuni negozi ci pagano un compenso

Ordina per:

56,84 €

Descrizione (0)

Formal Methods for Safe Autonomy: Data driven Verification, Synthesis, and Applications

Specifiche del prodotto

Marchio ACM Books
EAN
  • 9798400708633

CRC Press

Data Driven Methods for Civil Structural Health Monitoring and Resilience: Latest Developments Applications

48,87 €
Confronta 2 negozi 2 negozi

Springer

Symbolic Simulation Methods for Industrial Formal Verification (English Edition)

74,89 €
Confronta 2 negozi 2 negozi

Springer

New Data Structures and Algorithms for Logic Synthesis Verification (English Edition)

37,44 €
Confronta 2 negozi 2 negozi

CAMBRIDGE UNIV PR

Business Analytics: Methods and Cases for Data driven Decisions

79,39 €
Più informazioni Maggiori info
Scelta in evidenza
56,84 €
Vai allo shop