Torben Amtoft – författare

Visar alla böcker från författaren Torben Amtoft. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   TYPE AND EFFECT SYSTEMS: BEHAVIOURS FOR CONCURRENCY

   Av Torben Amtoft, Flemming Nielson m. fl.

   Inbunden, 1999

   1602 kr

   Tillfälligt slut

   Concurrent and distributed processes occur everywhere: in embedded systems, in information networks and databases, and in the form of applets roaming around on the World-Wide-Web. This book presents and develops state-of-the-art validation techniques for detecting safety violations; the focus is on …