Ergebnisse für: array abstraction

Hier findest Du Bücher, die sich mit array abstraction beschäftigen.

Buch Cover Theory and Practice of Formal Methods

Springer International Publishing
53.49 € · Paperback

abstract interpretation algorithms axiomatic semantics program transformation and verification runtime verification actor model array abstraction automated verification completeness for total correctness dynamic typing loop invariant generation microservices multiple notions of correctness pure object-orientation quicksort

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of intere...

Theory and Practice of Formal Methods

Springer International Publishing
53.49 € · eBook

Array
(
    [endpoint] => /products?search=array+abstraction&page=0&size=20
    [httpCode] => 200
    [curlError] => 
    [os_errno] => 0
    [primary_ip] => 144.208.215.243
    [local_ip] => 192.168.53.111
    [namelookup_time] => 0.001442
    [connect_time] => 0.51984
    [responseLength] => 4581
)