Introduction to Programming using SML
Samenvatting
This book is an introductory programming textbook for those using SML. It emphasizes mathematical structures, modelling and abstraction as a basis for programming, introducing students to formal methods concepts early. The authors concentrate on the basics of program design rather than on the design of efficient algorithms. The book has a dual purpose, firstly to teach program design based on a set of simple, clean & powerful concepts and secondly to teach the fundamental concepts of computer science in an informal but precise way.
Specificaties
Inhoudsopgave
Net verschenen
Rubrieken
- aanbestedingsrecht
- aansprakelijkheids- en verzekeringsrecht
- accountancy
- algemeen juridisch
- arbeidsrecht
- bank- en effectenrecht
- bestuursrecht
- bouwrecht
- burgerlijk recht en procesrecht
- europees-internationaal recht
- fiscaal recht
- gezondheidsrecht
- insolventierecht
- intellectuele eigendom en ict-recht
- management
- mens en maatschappij
- milieu- en omgevingsrecht
- notarieel recht
- ondernemingsrecht
- pensioenrecht
- personen- en familierecht
- sociale zekerheidsrecht
- staatsrecht
- strafrecht en criminologie
- vastgoed- en huurrecht
- vreemdelingenrecht

