Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
programming programming » programming programmed, programming program
programming recursion » programming decision, programming session, programming decisions
reactive programming » recursive programming, declarative programming, imperative programming
recursion arrays » recursion versus
arrays via » arrays a
1
Azala
Argitaratua 2015
Aurkibidea: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Testu osoa
Baliabide elektronikoa eBook
Gogokoenen artean sartu
Gorde:
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali — Bilaketa gorde