1
יצא לאור 2015
תוכן הענינים: ...-Order Functional Intermediate Language for Verified Compilers -- Autosubst: Reasoning with de Bruijn...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
מאת Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
יצא לאור 2012
נושאים: ...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
מאת Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
יצא לאור 2015
נושאים: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני