Kniha Programs, Recursion and Unbounded Choice Wim H. Hesselink

Programs, Recursion and Unbounded Choice

Jazyk: Angličtina
Vazba: Pevná
Dostupnost: 50 % šance
Prohledáme celý svět
1 623
A complete account of the predicate transformation calculus semantics of sequential programs.

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Pevná
Vydáno
1992
Stránek
235
EAN
9780521404365
ISBN
9780521404365
Enbook ID
08033493
Hmotnost
578
Rozměry
179 x 256 x 16

Kompletní popis

A complete account of the predicate transformation calculus semantics of sequential programs.

Mohlo by vás zajímat

Nanobiotechnology

Rajesh Singh Tomar
3 525

Rodin

Joel Alessandra
403

Classic Show Jumping

BERTALAN DE NEMETHY
932
714
51
331

Ultimate Legacy

Peggy Pentney
363
654
278

Zákaznicí kteří koupili tuto knihu koupili také