Search Results for Logic.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Yazar

Martí-Oliet, Narciso. editor.

http://dx.doi.org/10.1007/978-3-319-23165-5

Format:

Electronic Resources

Alıntı:

Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Yazar

Artho, Cyrille. editor.

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

Format:

Electronic Resources

Alıntı:

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

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Yazar

Artho, Cyrille. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Formal Techniques for Safety-Critical Systems Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Yazar

Artho, Cyrille. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Yazar

Artho, Cyrille. editor.

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

Format:

Electronic Resources

Alıntı:

Logics and Meanings of Programs.

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Yazar

Braga, Christiano. editor.

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

Format:

Electronic Resources

Alıntı:

Mathematical Logic and Formal Languages.

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}