Results
|
1781.
|
|
|
1782.
|
|
|
1783.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings / by Series: Lecture Notes in Computer Science ; 2575
Edition: 1st ed. 2003.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
In:
Springer Nature eBook
Availability: No items available.
|
|
1784.
|
|
|
1785.
|
|
|
1786.
|
|
|
1787.
|
|
|
1788.
|
|
|
1789.
|
|
|
1790.
|
|
|
1791.
|
|
|
1792.
|
|
|
1793.
|
|
|
1794.
|
|
|
1795.
|
|
|
1796.
|
|
|
1797.
|
|
|
1798.
|
|
|
1799.
|
Applying Formal Methods: Testing, Performance, and M/E-Commerce [electronic resource] : FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 / by Series: Lecture Notes in Computer Science ; 3236
Edition: 1st ed. 2004.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004
In:
Springer Nature eBook
Availability: No items available.
|
|
1800.
|
|