Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2 - Tiziana Margaria - Böcker - Springer-Verlag Berlin and Heidelberg Gm - 9783540610427 - 20 mars 1996
Om omslag och titel inte matchar är det titeln som gäller

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2

Tiziana Margaria

Pris
Kč 1.622

Beställningsvara

Förväntad leverans 25 apr - 6 maj

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
Eller

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Proceedings. (Tacas '96, Passau, Germany, March 27-29 1996, Proceedings, Tacas '96, Passau, Germany, March 2

These conference proceedings address current aspects of the design and analysis of distributed systems. The volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.

443 pages, biography

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 20 mars 1996
ISBN13 9783540610427
Utgivare Springer-Verlag Berlin and Heidelberg Gm
Antal sidor 443
Mått 156 × 234 × 23 mm   ·   635 g
Redaktör Margaria, Tiziana
Redaktör Steffen, Bernhard
Visa alla

Fler produkter med Tiziana Margaria

Se alt med Tiziana Margaria ( t.ex. Pocketbok )