【预订】Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York C...

608.0

608.0

[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601

670.0

670.0

【4周达】Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 20... [9783030415990]

580.0

580.0

【4周达】Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 201... [9783319723075]

580.0

580.0

【4周达】Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 201... [9783319296128]

580.0

580.0

【4周达】Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 201... [9783319488684]

580.0

580.0

【4周达】Verified Software: Theories, Tools, Experiments: Second International Conference, Vstte 2008... [9783540878728]

580.0

580.0

【4周达】Verified Software: Theories, Tools, Experiments: Third International Conference, Vstte 2010,... [9783642150562]

580.0

580.0

【4周达】Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 20... [9783031258022]

580.0

580.0

【4周达】Verified Software: Theories, Tools, Experiments: 4th International Conference, Vstte 2012, P... [9783642277047]

600.0

600.0

【4周达】Verified Software. Theories, Tools, and Experiments : 10th International Conference, VSTTE 2... [9783030035914]

600.0

600.0

【4周达】Verified Software. Theories, Tools and Experiments: 15th International Conference, Vstte 202... [9783031660634]

638.0

638.0

【4周达】Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014... [9783319121536]

643.0

643.0

【4周达】Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 20... [9783540691471]

1149.0

1149.0