Sommer SALE: Bis zu -80% sparen!

Sommer SALE: Bis zu -80% sparen!

Handbook of Model Checking

(Sprache: Englisch)
 
 
Merken
Merken
 
 
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming languages, hardware design, and theoretical computer...
Leider schon ausverkauft
versandkostenfrei

Bestellnummer: 60158739

Buch (Gebunden) 142.99
In den Warenkorb
  • Lastschrift, Kreditkarte, Paypal, Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
Kommentar zu "Handbook of Model Checking"
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
 
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •  
     
     
     
     
  •