Software Engineering and Formal Methods

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Javier Camara; Martin Steffen وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783030575069, 3030575063 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030575052, 3030575055. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers 1st الإصدار تمت الكتابة بواسطة Javier Camara; Martin Steffen وتم النشر بواسطة Springer. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ Software Engineering and Formal Methods هي 9783030575069, 3030575063 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9783030575052, 3030575055. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.