|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
New York : Springer, 1998
|
|
|
1 online resource (519 pages) : illustrations
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781461216742 (e-book)
|
|
|
ISBN 9780387984179
|
|
|
Graduate Texts in Computer Science
|
|
|
Print version: Back, Ralph-Johan. Refinement calculus : a systematic introduction. New York : Springer, c1998 xv, 519 pages Graduate texts in computer science (Springer-Verlag New York Inc.) ISBN 9780387984179
|
|
|
|
|
|
Includes bibliographical references and index
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
001806989
|
|
|
full
|
|
|
(Au-PeEL)EBL3076610
|
|
|
(CaPaEBR)ebr10920438
|
|
|
(MiAaPQ)EBC3076610
|
|
|
(OCoLC)958527533
|
Dotazy a připomínky