Gå direkt till innehållet

10 % rabatt* med kod HEINA10 »

Till startsidan
Böcker, spel, garn, pyssel m.m.
Tools and Algorithms for the Construction and Analysis of Systems
Spara

Tools and Algorithms for the Construction and Analysis of Systems

häftad, Engelska, 1995
66,10 €
BeställningsvaraKan levereras inom 8-14 dagar
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.
The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.

Mer på Adlibris

Om Adlibris

Vi är Nordens största nätbokhandel och vi vill inspirera människor till sin nästa läsupplevelse. Vi vill visa dig vägen till böcker som hänför, berör och upprör eller för en stund tar dig med till en helt annan värld. Hos oss ryms över 13 miljoner titlar samt det senaste inom spel, pyssel, garn och allt annat som hör en modern bokhandel till.

  • Alltid bra priser

  • Fri frakt över 39,90 €

  • Smidiga leveranser

Nyhetsbrev

Ta del av våra bästa lästips, erbjudanden och kampanjer. Anmäl dig nu och få 10 % rabatt på ditt första köp. Erbjudandet gäller endast nya prenumeranter, privatkunder, ej kurslitteratur, digitala böcker eller presentkort.