Search Results for Logics and Meanings of Programs.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

Yazar

Gaston, Christophe. editor. (orcid)0000-0001-6865-5108

https://doi.org/10.1007/978-3-030-31280-0

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Yazar

Majumdar, Rupak. editor.

https://doi.org/10.1007/978-3-319-63390-9

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6–7, 2018, Proceedings

Yazar

Katsikas, Sokratis K. editor. (orcid)0000-0003-2966-9683

https://doi.org/10.1007/978-3-030-01141-3

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Yazar

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140

https://doi.org/10.1007/978-3-030-05764-0

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers

Yazar

Cerone, Antonio. editor. (orcid)0000-0003-2691-5279

https://doi.org/10.1007/978-3-319-74781-1

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Yazar

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

https://doi.org/10.1007/978-3-319-99136-8

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs. http://scigraph.springernature.com/things/product-market-codes/I

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}