Search Results for Computer programming.

Transactions on Foundations for Mastering Change I

Yazar

Steffen, Bernhard. editor.

http://dx.doi.org/10.1007/978-3-319-46508-1

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

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

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45231-8

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Yazar

Margaria, Tiziana. editor.

http://dx.doi.org/10.1007/978-3-662-45234-9

Format:

Electronic Resources

Alıntı:

Programming languages (Electronic computers).

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. 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. 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

	{displayName}	{count}
{error}