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

NOK 739

Beställningsvara

Förväntad leverans 30 jul - 9 aug

Våra kunder säger:

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

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 )