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

Preis

₩ 90.600

Bestellware

Lieferdatum: ca. 29. Jul - 8. Aug

Unsere Kunden sagen:

14-Tage-Rückgaberecht

Topbewertung bei Trustpilot

Zu deiner iMusic Wunschliste hinzufügen

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

Medien	Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum	20. März 1996
ISBN13	9783540610427
Verlag	Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl	443
Maße	156 × 234 × 23 mm · 635 g
Redakteur	Margaria, Tiziana
Redakteur	Steffen, Bernhard

Alle anzeigen

Weitere Titel von Tiziana Margaria

Alle Titel von Tiziana Margaria ansehen ( u. a. Taschenbuch )