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
Salvato in:
| Altri autori: | , |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Springer Berlin Heidelberg,
2008
|
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Vol. 4171 Verified Software: Theories, Tools, Experiments :
- 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
- 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 /
- Verifying β-Convergence for Chosen Regions of Indonesia
- Experience with Management of Software Projects Proceedings of the IFAC/IFIP Workshop, Heidelberg, Federal Republic of Germany, 14-16 May 1986
- Fast Software Encryption. 12th International Workshop : Proceesing. FSE 2005. Paris, France. 21.- 23. Febr. 2005. Revised Selected Papers /
- Verifying of Beta convergence for south east countries of Asia