Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Mathematics of Program Construction

Mathematics of Program Construction

Philippe Audebaud, Christine Paulin-Mohring
0 / 0
0 comments
Jak bardzo podobała Ci się ta książka?
Jaka jest jakość pobranego pliku?
Pobierz książkę, aby ocenić jej jakość
Jaka jest jakość pobranych plików?
Subject
Kategorie:
Computers - Programming
Rok:
2009
Język:
english
ISBN 10:
3540705937
ISBN 13:
9783540705932
Plik:
PDF, 4.64 MB
IPFS:
CID , CID Blake2b
english, 2009
Czytaj Online
  • pdf 4.64 MB Current page
  • Checking other formats...
  • Przekonwertowany plik może różnić się od oryginału. Jeśli to możliwe, lepiej pobierz plik w oryginalnym formacie
Trwa konwersja do
Konwersja do nie powiodła się

Najbardziej popularne frazy

 
function
programming
definition
theorem
programs
ϕ
lemma
probabilistic
algorithm
first
defined
abstract
monad
haskell
lame
functions
variables
equality
termination
values
acm
algebras
trips
define
semiring
optimal
recursive
semirings
computation
node
map
step
finite
choice
induction
assertions
seti
trip
network
springer
systems
functor
predicate
calculus
iteration
approach
expr
refinement
policy
element
heidelberg
transformers
datatypes
boolean
logical
typed
equal
lncs
axioms
ηe