FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Prezzi da
11,61

In evidenza

CONFRONTA TUTTI I WEBSHOP (1)

Descrizione

Amazon Pagine: 175, Copertina flessibile, Independently published
Description Descrizione
Product Specifications Specifiche del prodotto
Related Products Prodotti connessi
?>
Next
Previous

Confronta i webshop (1)

Shop
Prezzo
Amazon Logo
11,61 €
Vai allo shop
Descrizione (1)

Pagine: 175, Copertina flessibile, Independently published

Specifiche del prodotto

Marchio Independently Published
EAN
  • 9798243353243

Prezzi aggiornati il:

Cambridge University Press

Real-Time Systems: Formal Specification and Automatic Verification (English Edition)

73,92 €
Più informazioni Maggiori info

Springer

Model-Driven Software Development (English Edition)

99,75 €
Più informazioni Maggiori info

ACM Books

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

51,63 €
Più informazioni Maggiori info

Cambridge University Press

Reactive Systems: Modelling, Specification and Verification (English Edition)

74,77 €
Più informazioni Maggiori info
Scelta in evidenza
11,61 €
Vai allo shop