Results
|
1581.
|
|
|
1582.
|
|
|
1583.
|
|
|
1584.
|
|
|
1585.
|
|
|
1586.
|
|
|
1587.
|
|
|
1588.
|
|
|
1589.
|
|
|
1590.
|
|
|
1591.
|
|
|
1592.
|
|
|
1593.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 7737
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
1594.
|
|
|
1595.
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings / by Series: Theoretical Computer Science and General Issues ; 5944
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
1596.
|
|
|
1597.
|
|
|
1598.
|
|
|
1599.
|
|
|
1600.
|
|