Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions | Schreiner Wolfgang | Copertă tare | Klarna România

Thinking Programs: Logical Modeling and Reasoning about Languages, Data, Computations, and Executions | Schreiner Wolfgang | Copertă tare

Magazin

ENbook.ro

Marcă

Springer Nature

Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.pbrp

475.6 RON

Recomandări

Myprotein

Impact Vegan Protein Bundle - Chocolate

17.49 GBP

≈ 99.92 RON

Happy Socks

Multi Stripe 3/4 Crew Sock

12 GBP

≈ 68.56 RON

Tweeks Cycles

Shimano SM-CRM85 Deore XT 12-Speed Single Chainring - 32T

63.74 GBP

≈ 364.16 RON

Happy Socks

Kids The Tigers Come Roaring Back Sock

10 GBP

≈ 57.13 RON

Happy Socks

3-Pack Big Dot Liner Sock

20 GBP

≈ 114.26 RON

Myprotein

MP Women's Maternity Leggings - Black - L

34 GBP

≈ 194.25 RON

Tweeks Cycles

Hope Technology RS4 Road Rear Hub - Blue, 130mm, Standard - Steel (9/10/11), 24H

180 GBP

≈ 1028.37 RON

Happy Socks

4-Pack Kids Space Socks Gift Set

30 GBP

≈ 171.4 RON

Tweeks Cycles

Hope Technology Fortus 30W Pro5 Rear Wheel - 142x12mm29 Inch6 BoltSRAM XDPurple

282.6 GBP

≈ 1614.54 RON

Happy Socks

Crazy Dot Rib Sock

4.8 GBP

≈ 27.42 RON

Tweeks Cycles

Hope Technology Fortus 30W Pro5 Rear Wheel - 148x12mm Boost27.5 InchCentre LockMicro SplineOrange

282.6 GBP

≈ 1614.54 RON

Choose your language and region

Klarna is available around the world with a variable offering, choose one that suits you best.

Copyright © 2005-2024 Klarna Bank AB (publ). Headquarters: Stockholm, Sweden. All rights reserved. Klarna Bank AB (publ). Sveavägen 46, 111 34 Stockholm. Organization number: 556737-0431