Programming Elixir 1.6 Functional |> Concurrent |> Pragmatic |> Fun by Dave Thomas Pages: 410 Published: 2018-05-16 Release: P1.0 (2018-05-17) ISBN: 978-1-68050-299-2 This book is the introduction to Elixir for experienced programmers, completely updated for Elixir 1.6 and beyond. Explore functional programming without the academic overtones (tell me about monads just one more time). Create concurrent applications, but get them right without all the locking and consistency headaches. Meet Elixir, a modern, functional, concurrent language built on the rock-solid Erlang VM. Elixir’s pragmatic syntax and built-in support for metaprogramming will make you productive and keep you interested for the long haul. Maybe the time is right for the Next Big Thing. Maybe it’s Elixir.

找了好久关于汽车功能安全的资料，发现国内这种资料太少，这本书写的很不错，有需要的拿过去看看。

关于IC验证中用到的断言和功能覆盖率，结合了方法学和应用的思想，值得一读

ISO26262开发培训--Functional Safety with ISO 26262 - Principles and Practice

Parasolid 3D建模内核，为 CAD、CAE、CAM建模文档，用于自主研发CAD、CAE、CAM软件。目前上市CAX软件中，有SolidWorks、SolidEdges等。

(Kluwer) Writing Testbenches--Functional Verification of HDL Models.pdf 怎样用VHDL写testbench,经典教程,很难找的超清晰版!

manning出版社出版的关于java函数式编程的技术，Functional Programming in Java

泛函分析基础知识讲义。

All software design is composition: the act of breaking complex problems down into smaller problems and composing those solutions. Most developers have a limited understanding of compositional techniques. It’s time for that to change. In “Composing Software”, Eric Elliott shares the fundamentals of composition, including both function composition and object composition, and explores them in the context of JavaScript. The book covers the foundations of both functional programming and object oriented programming to help the reader better understand how to build and structure complex applications using simple building blocks.

在java里可以通过Ganymed SSH-2， Expect4j等实现ssh登录，由于Ganymed SSH-2是纯java实现，并且可以实现scp,sftp等，因此我们采用Ganymed SSH-2