Results
|
1.
|
|
|
2.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings / edited by Natarajan Shankar, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 5295
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
3.
|
|
|
4.
|
|
|
5.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock. by Series: Lecture Notes in Computer Science ; 4171
Material type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
In:
Springer eBooks
Availability: No items available.
|
|
6.
|
|
|
7.
|
Software engineering mathematics / Jim Woodcock, Martin Loomes. by
Edition: 1a ed.
Material type: Text; Format:
print
; Literary form:
Not fiction
Publication details: Reading, MA. : Addison-Wesley, c1989
Availability: Items available for loan: Biblioteca de la Facultad de Ingeniería Eléctrica (1)Call number: QA76.758 W66 1989.
|