Keijo Heljanko – författare
Visar alla böcker från författaren Keijo Heljanko. Handla med fri frakt och snabb leverans.
3 produkter
Unfoldings
A Partial-Order Approach to Model Checking
Av Javier Esparza, Keijo Heljanko
Inbunden, 2008
1131 kr
Lägg i varukorg
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of …
Unfoldings
A Partial-Order Approach to Model Checking
Av Keijo Heljanko, Javier Esparza
E-bok, 2008
1459 kr
Lägg i varukorg
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of …
Unfoldings
A Partial-Order Approach to Model Checking
Av Javier Esparza, Keijo Heljanko
Häftad, 2010
1131 kr
Lägg i varukorg
Model checking is a prominent technique used in the hardware and software industries for automatic verification. While it is very successful in finding subtle bugs in distributed systems, it faces the state explosion problem - the number of reachable states grows exponentially in the number of …
