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 - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783540610427 - 20 marca 1996
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Cena
zł 266,90

Zamówione z odległego magazynu

Przewidywana dostawa 28 paź - 6 lis

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 20 marca 1996
ISBN13 9783540610427
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 443
Wymiary 156 × 234 × 23 mm   ·   635 g
Redaktor Margaria, Tiziana
Redaktor Steffen, Bernhard
Pokaż wszystko

Więcej od Tiziana Margaria

Zobacz wszystko od Tiziana Margaria ( np. Paperback Book )