Vol. 4171 Verified Software: Theories, Tools, Experiments : First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions

Documenti analoghi

• Závitová měřidla. STN 25 4171 : Závitové válečkové kalibry s dobrou stranou. Trubkový závit válcový G 1" až G 3 1/2". Účinnost: 1.4.1964
  Pubblicazione: (1963)
• Protocols for high-speed networks : Selected and revised papers from the IFIP WG 6.1/WG 6.4 workshop on ... : Konf. Zürich, Switzerland, 9.- 11. May 1989 /
  Pubblicazione: (1989)
• Verifying β-Convergence for Chosen Regions of Indonesia
  di: Blaško, Michaela
• Experience with Management of Software Projects Proceedings of the IFAC/IFIP Workshop, Heidelberg, Federal Republic of Germany, 14-16 May 1986
  Pubblicazione: (1987)
• Fast Software Encryption. 12th International Workshop : Proceesing. FSE 2005. Paris, France. 21.- 23. Febr. 2005. Revised Selected Papers /
  Pubblicazione: (2004)