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

Prijs

€ 64,49

Besteld in een afgelegen magazijn

Verwachte levering 31 jul. - 12 aug.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving

Topnotering op Trustpilot

Voeg toe aan uw iMusic-verlanglijst

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	Boeken Paperback Book (Boek met zachte kaft en gelijmde rug)
Vrijgegeven	20 maart 1996
ISBN13	9783540610427
Uitgevers	Springer-Verlag Berlin and Heidelberg Gm
Pagina's	443
Afmetingen	156 × 234 × 23 mm · 635 g
Uitgever	Margaria, Tiziana
Uitgever	Steffen, Bernhard

Alles tonen

Meer door Tiziana Margaria

Bekijk alles van Tiziana Margaria ( bijv. Paperback Book )