Search Results for Models and Principles.

Provably Correct Systems

Yazar

Hinchey, Mike. editor.

https://doi.org/10.1007/978-3-319-48628-4

Format:

Electronic Resources

Alıntı:

Models and Principles. http://scigraph.springernature.com/things/product-market-codes/I18016

Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

Yazar

Lucanu, Dorel. editor.

http://dx.doi.org/10.1007/978-3-319-44802-2

Format:

Electronic Resources

Alıntı:

Models and Principles.

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Yazar

Escobar, Santiago. editor.

http://dx.doi.org/10.1007/978-3-319-12904-4

Format:

Electronic Resources

Alıntı:

Models and Principles.

Models, Mindsets, Meta: The What, the How, and the Why Not? Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Yazar

Margaria, Tiziana. editor.

https://doi.org/10.1007/978-3-030-22348-9

Format:

Electronic Resources

Alıntı:

Models and Principles. https://scigraph.springernature.com/ontologies/product-market-codes/I18016

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Yazar

Kühn, Eva. editor.

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

Format:

Electronic Resources

Alıntı:

Coordination Models and Languages 16th IFIP WG 6.1 International Conference, COORDINATION 2014

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ı:

Management of Computing and Information Systems.

Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings

Yazar

Ciobanu, Gabriel. editor.

http://dx.doi.org/10.1007/978-3-319-10882-7

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Yazar

Jones, Cliff. editor.

http://dx.doi.org/10.1007/978-3-319-06410-9

Format:

Electronic Resources

Alıntı:

Management of Computing and Information Systems.

	{displayName}	{count}
{error}