Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Tools and Algorithms for the Construction and Analysis of Systems

- 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Über Tools and Algorithms for the Construction and Analysis of Systems

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783540253334
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 590
  • Veröffentlicht:
  • 23. März 2005
  • Ausgabe:
  • 2005
  • Abmessungen:
  • 234x156x31 mm.
  • Gewicht:
  • 1880 g.
  Versandkostenfrei
  Versandfertig in 1-2 Wochen.

Beschreibung von Tools and Algorithms for the Construction and Analysis of Systems

This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials.

Kund*innenbewertungen von Tools and Algorithms for the Construction and Analysis of Systems



Ähnliche Bücher finden
Das Buch Tools and Algorithms for the Construction and Analysis of Systems ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.