|
|
.
|
|
|
0 (hodnocen0 x )
|
|
|
EB
|
|
|
ONLINE
|
|
|
|
|
|
|
|
|
London ; New York : Springer, [1996]
|
|
|
1 online resource (239 pages) : illustrations
|
| Externí odkaz |
 Plný text PDF
|
|
* Návod pro vzdálený přístup
|
|
|
|
|
|
|
|
|
|
ISBN 9781447114949 (e-book)
|
|
|
ISBN 3540760334 (Berlin : pbk. : alk. paper)
|
|
|
ISBN 9783540760337
|
|
|
Formal approaches to computing and information technology
|
|
|
Print version: Lano, K. B language and method : a guide to practical formal development. London : Springer, [1996] 232 pages ; 24 cm. Formal approaches to computing and information technology ISBN 9783540760337
|
|
|
Includes bibliographical references and index
|
|
|
|
|
|
|
|
|
|
|
|
001806945
|
|
|
full
|
|
|
(Au-PeEL)EBL3074773
|
|
|
(CaPaEBR)ebr10918185
|
|
|
(MiAaPQ)EBC3074773
|
|
|
(OCoLC)958525664
|
Dotazy a připomínky