wyszukanych pozycji: 4
Liberating the Will of Australia
ISBN: 9781725263826 / Angielski / Miękka / 2020 / 242 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
127,26 zł |
Lazy Functional Languages
ISBN: 9780262521604 / Angielski / Miękka / 1991 / 252 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM. This book explores a subclass known as lazy functional languages, beginning with the theoretical issues and continuing through abstract interpretation and offering improved techniques for implementation.Now that advanced compiler technology has made it possible for lazy functional languages to compare favorably in run-time with more traditional languages such as C and Pascal, this monograph tackles problems of implementation such as time and memory overheads and restrictions on... The class of programming languages commonly known as functional includes Lisp, Scheme, ML, and Miranda TM. This book explores a subclass known as l... |
|
cena:
214,16 zł |
Liberating the Will of Australia
ISBN: 9781725263833 / Angielski / Twarda / 2020 / 242 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
220,58 zł |
Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorn
ISBN: 9783540198420 / Angielski / Miękka / 1993 / 329 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: semantics concurrency logic specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of...
This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computin...
|
|
cena:
195,87 zł |