Search Results for Computer programming.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03418-4

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Yazar

Lohstroh, Marten. editor.

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

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings

Yazar

Howar, Falk. editor.

https://doi.org/10.1007/978-3-030-00244-2

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03427-6

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03424-5

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-03421-4

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Yazar

Polikarpova, Nadia. editor. (orcid)0000-0001-5571-173X

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

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings

Yazar

Anjorin, Anthony. editor. (orcid)0000-0001-6213-6243

https://doi.org/10.1007/978-3-319-61482-3

Format:

Electronic Resources

Alıntı:

Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product

Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings

Yazar

Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931

https://doi.org/10.1007/978-3-030-03673-7

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks. http://scigraph.springernature.com/things

	{displayName}	{count}
{error}