Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tools and Algorithms for the Construction and Analysis of Systems : 9783662466810, 3662466813 および 印刷版のISBNは 9783662466803, 3662466805. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。 この eTextbook の追加の ISBN には次のものがあります: 10.1007/978-3-662-46681-0, 8220111713350, 8220111904048, 8220112070261, 8220112350486, 8220113935880, 86402624.

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings 著者: Author 出版 Springer. 以下のデジタルおよびeTextbook ISBNs: Tools and Algorithms for the Construction and Analysis of Systems : 9783662466810, 3662466813 および 印刷版のISBNは 9783662466803, 3662466805. VitalSource でデジタル化することで、印刷に比べて最大 80% 節約できます。 この eTextbook の追加の ISBN には次のものがあります: 10.1007/978-3-662-46681-0, 8220111713350, 8220111904048, 8220112070261, 8220112350486, 8220113935880, 86402624.