1
nork Bjørner, Dines., Bjørner, Dines.
Argitaratua 2006
Aurkibidea: ...Opening -- Discrete Mathematics -- Numbers -- Sets -- Cartesians -- Types -- Functions -- A...
Testu osoa
Baliabide elektronikoa eBook
2
nork Bjørner, Dines., Bjørner, Dines.
Argitaratua 2006
Aurkibidea: ... Charts -- Statecharts -- Quantitative Models of Time -- Interpreter and Compiler Definitions -- SAL...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... -- Detecting and Repairing Anomalous Evolutions in Noisy Environments: Logic Programming Formalization...
Testu osoa
Baliabide elektronikoa eBook