MAISALG opptil 60% »
Spar
Functional and Logic Programming
e-bok, Engelsk, 2016
553,-
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
This bookconstitutes the proceedings of the 13th International Symposium on Functionaland Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume were carefully reviewed and selectedfrom 36 submissions. They cover the following topics: functional and logicprogramming; program transformation and re-writing; and extracting programsfrom proofs of their correctness.
- Undertittel
- 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings
- Redaktør
- Andy King, Oleg Kiselyov
- ISBN
- 9783319296043
- Språk
- Engelsk
- Utgitt
- 22.2.2016
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Adlibris lesebrett
- Datamaskin
Andre har også sett på
- Gå til Sommarhemmet : inreda, laga, fixa & odlas produktside
Sofia Wood, Elsa Billgrentekstilinnbinding - Gå til Spansk skoleordboks produktside
María Luisa Villanueva Aasen, Signe Flydal Blichfeldtfleksibind - Gå til Spis dette! ; smakfull hverdagsmat uten sukker og ultraprosessers produktside
Bente Josefseninnbundet364,-
Du vil kanskje like
Anbefalt for deg
- Gå til CCNA 200-301 Official Cert Guide Librarys produktside
Wendell Odom, David Hucaby, Jason Gooleyøvrig - Gå til Collect, Combine, and Transform Data Using Power Query in Power BI and Excels produktside
Daniil Maslyuk, Gil Ravivheftet - Gå til Cybersecurity Essentialss produktside
Charles J. Brooks, Christopher Grow, Philip A. Craig, Donald Shortheftet
